Khamis, A. M.; Girgis, M. R.; Ghiduk, A. S. Automatic Software Test Data Generation for Spanning Sets Coverage Using Genetic Algorithms. Comput. Inform. 2012, 26, 383-401.