1. Kumar, M., Chaudhary, J.: Reviewing automatic test data generation. Int. J. Eng. Sci. Comput. 7(5), 11432–11435 (2017)
2. Richard, A.D., Jefferson, A.O.: Constraint-based automatic test data generation. IEEE Trans. Softw. Eng. 17(9), 900–910 (1991)
3. Meudec, C.: ATGen: automatic test data generation using constraint logic programming and symbolic execution. Softw. Test. Verification Reliabil. 11(2), 81–96 (2001)
4. Gerlich, R.: Automatic test data generation and model checking with CHR. In: 11th Workshop on Constraint Handling Rules (2014)
5. Girgis, M.R.: Automatic test data generation for data flow testing using a genetic algorithm. J. Univ. Comput. Sci. 11(6), 898–915 (2005)