1. Is mutation an appropriate tool for testing experiments?[software testing];Andrews,2005
2. Automatic generation of test scripts from formal test specifications;Balcer,1989
3. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs;Cadar,2008
4. Symbolic execution for software testing: three decades later;Cadar;Commun. ACM,2013
5. Test case prioritization: a systematic mapping study;Catal;Softw. Qual. Control,2013