- author = "Westley Weimer and Stephanie Forrest and Claire {Le Goues} and ThanhVu Nguyen",
- title = "Automatic program repair with evolutionary computation",
- journal = "Communications of the ACM",
- volume = "53",
- number = "5",
- year = "2010",
- pages = "109--116",
- month = jun,
- publisher = "ACM",
- address = "New York, NY, USA",
- keywords = "genetic algorithms, genetic programming, genetic improvement, APR, SBSE",
- ISSN = "0001-0782",
-
URL = "
http://www.cs.virginia.edu/~weimer/p/p109-weimer.pdf",
-
DOI = "
10.1145/1735223.1735249",
- size = "8 pages",
- abstract = "There are many methods for detecting and mitigating software 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 legacy C programs. The method takes as input the buggy C source 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.",
-
notes = "Research highlights. The material in this paper is
taken from two original publications,
\cite{DBLP:conf/gecco/ForrestNWG09} and
\cite{Weimer:2009:ICES}.
Also known as \cite{1735249}",
