1. Korel B. Automated software test data generation. IEEE Transactions on Software Engineering, 1990, 16(8): 870–879
2. Miller B P, Koski D, Lee C P, Maganty V, Murthy R, Natarajan A, Steidl J. Fuzz revisited: a re-examination of the reliability of UNIX utilities and services. Technical Report CS-TR-1995-1268, University of Wisconsin, 1995
3. Cadar C, Godefroid P, Khurshid S, Pasareanu C S, Sen K, Tillmann N, Visser W. Symbolic execution for software testing in practice: preliminary assessment. In: Proceedings of the 33rd International Conference on Software Engineering. 2011, 1066–1071
4. Cadar C, Sen K. Symbolic execution for software testing: three decades later. Communications of the ACM, 2013, 56(2): 82–90
5. Sharma C, Sabharwal S, Sibal R. A survey on software testing techniques using genetic algorithm. International Journal of Computer Science Issues, 2013, 10(1): 381