Using Genetic Algorithms to Aid Test-Data Generation for Data-Flow Coverage | IEEE Conference Publication | IEEE Xplore