Using dynamic execution data to generate test cases | IEEE Conference Publication | IEEE Xplore