Automatic program repair with evolutionary computation

Created by W.Langdon from gp-bibliography.bib Revision:1.4549

  author =       "Westley Weimer and Stephanie Forrest and 
                 Claire {Le Goues} and ThanhVu Nguyen",
  title =        "Automatic program repair with evolutionary
  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, SBSE",
  ISSN =         "0001-0782",
  URL =          "",
  DOI =          "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

                 Also known as \cite{1735249}",

Genetic Programming entries for Westley Weimer Stephanie Forrest Claire Le Goues ThanhVu Nguyen