1. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs;Cadar,2008
2. RTCA, I., DO-178C/ED-12C: software considerations in airborne systems and equipment certification. Des. 2011.
3. Automated Whitebox Fuzz Testing;Godefroid,2008
4. Structural coverage of feasible code;Baluda,2010
5. A classification framework for automatic test case generation techniques for web applications;Keyvanpour;J. Inf. Process. Manag.,2013