Methodology for the Generation of Program Test Data | IEEE Journals & Magazine | IEEE Xplore