Patent · US Active

Automatic generation of program execution that reaches a given failure point

US8966453B1 · kind B1 · utility

44Cited by

0References

17Claims

0Family size

Assignee

ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE (EPFL) · CH

Inventors

Cristian Zamfir · Prilly, CH
George Candea · Yverdon-les-Bains, CH

Key dates

Filing date	Nov 23, 2011
Grant date	Feb 24, 2015
Priority date	—
Expiry date	Sep 15, 2033

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/3604
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.