1. An automatic generator for compiler testing;Bazzichi;IEEE Transactions on Software Engineering,1982
2. Software testing techniques;Beizer,1990
3. Ct coverage-initial results;Bently;Software Quality Journal,1993
4. Automatic test data generation for program paths using genetic algorithms;Bueno;International Journal of Software Engineering and Knowledge Engineering,2002
5. C. Cadar, et al., “EXE: Automatically generating inputs of death,” Association for Computing Machinery, New York, NY 10036-5701, United States, 2006, pp. 322–335.