Automatic program repair with evolutionary computation

13 years 4 months ago

Download www.cs.virginia.edu

Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work combining program analysis methods with evolutionary computation to automatically repair bugs in off-the-shelf legacyCprograms.ThemethodtakesasinputthebuggyCsource code, a failed test case that demonstrates the bug, and a small number of other test cases that encode the required functionality of the program. The repair procedure does not rely on formal specifications, making it applicable to a wide range of extant software for which formal specifications rarely exist.

Westley Weimer, Stephanie Forrest, Claire Le Goues

Real-time Traffic

CACM 2010 | Failed Test Case | Formal Specifications | Test Cases |

claim paper

» Evolutionary unit testing of objectoriented software using stronglytyped genetic programmi...

» Designing better fitness functions for automated program repair

» Automatic generation of a neural network architecture using evolutionary computation

» Automatic generation of XSLT stylesheets using evolutionary algorithms

» Evolutionary Computing for Detection of Retentive Structures in Coastal Waters

» Evolution of a Computer Program for Classifying Protein Segments as Transmembrane Domains ...

» Engineering of Computer Vision Algorithms Using Evolutionary Algorithms

» Observations in using parallel and sequential evolutionary algorithms for automatic softwa...

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2010
Where	CACM
Authors	Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen

Comments (0)

Sciweavers

Automatic program repair with evolutionary computation

CACM 2010 | Failed Test Case | Formal Specifications | Test Cases |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers