Ahmed S. Ghiduk Mary Jean Harrold Moheb R. Girgis Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage. 41-48 2007 conf/apsec/2007 APSEC http://doi.ieeecomputersociety.org/10.1109/APSEC.2007.100 db/conf/apsec/apsec2007.html#GhidukHG07