James Miller, Marek Z. Reformat, Howard Zhang: Automatic test data generation using genetic algorithm and program dependence graphs. Inf. Softw. Technol. 48(7): 586-605 (2006)