Automated Test Data Generation Based on Program Execution | IEEE Conference Publication | IEEE Xplore