1. IEC 61131-3: Programming Industrial Automation Systems;Tiegelkamp,1995
2. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs;Cadar,2008
3. CUTE: a Concolic Unit Testing Engine for C;Sen,2005
4. Smartunit: empirical evaluations for automated unit testing of embedded software in industry;Zhang,2018
5. Advanced Compiler Design and Implementation;Muchnick,1997