Loading...
patent
Automatic generation of program execution that reaches a given failure point
Zamfir, Cristian
•
Candea, George
2015
An 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.
Use this identifier to reference this record
Type
patent
EPO Family ID
52473161
Inventors
Zamfir, Cristian
•
Candea, George
TTO classification
TTO:6.1014
EPFL units
Patent number | Country code | Kind code | Date issued |
US8966453 | US | B1 | 2015-02-24 |
Available on Infoscience
May 24, 2017