1. Validation of ultrahigh dependability for software-based systems;Littlewood;Commun. ACM,1993
2. Translatability and decidability questions for restricted classes of program schemas;Weyuker;SIAM J. Comput.,1979
3. Constraint-based automatic test data generation;DeMillo;IEEE Trans. Softw. Eng.,1991
4. Automatic test data generation using constraint solving techniques;Gotlieb,1998
5. DART: directed automated random testing;Godefroid,2005