Encoding Test Cases using Execution Traces | IEEE Conference Publication | IEEE Xplore