Zamfir, CristianCandea, George2017-05-242017-05-242017-05-242015https://infoscience.epfl.ch/handle/20.500.14299/137532An execution of a target software program that causes a particular bug to manifest itself is generated. A target software program is received. A bug report generated by an execution of the target software program is received. The bug report describes a particular bug within the target software program. A bug type of the particular bug is received. A synthesized execution file is generated based on the target software program, the bug report, and the bug type. The synthesized execution file specifies an execution of the target software program that causes the particular bug to manifest itself.patentUS896645352473161