Leveraging Program Equivalence for Adaptive Program Repair: Models and First Results

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

  author =       "Westley Weimer and Zachary P. Fry and 
                 Stephanie Forrest",
  title =        "Leveraging Program Equivalence for Adaptive Program
                 Repair: Models and First Results",
  booktitle =    "28th IEEE/ACM International Conference on Automated
                 Software Engineering",
  year =         "2013",
  editor =       "Ewen Denney and Tevfik Bultan and Andreas Zeller",
  pages =        "356--366",
  address =      "Palo Alto, USA",
  month =        nov # " 11-15",
  keywords =     "genetic algorithms, genetic programming, SBSE,
                 Automated program repair, GenProg, mutation testing,
                 program equivalence, search-based software
  URL =          "http://www.cs.virginia.edu/~weimer/p/weimer-ase2013-preprint.pdf",
  DOI =          "doi:10.1109/ASE.2013.6693094",
  size =         "11 pages",
  abstract =     "Software bugs remain a compelling problem. Automated
                 program repair is a promising approach for reducing
                 cost, and many methods have recently demonstrated
                 positive results. However, success on any particular
                 bug is variable, as is the cost to find a repair. This
                 paper focuses on generate-and-validate repair methods
                 that enumerate candidate repairs and use test cases to
                 define correct behaviour. We formalise repair cost in
                 terms of test executions, which dominate most
                 test-based repair algorithms. Insights from this model
                 lead to a novel deterministic repair algorithm that
                 computes a patch quotient space with respect to an
                 approximate semantic equivalence relation. This allows
                 syntactic and dataflow analysis techniques to
                 dramatically reduce the repair search space.
                 Generate-and-validate program repair is shown to be a
                 dual of mutation testing, suggesting several possible
                 cross-fertilisations. Evaluating on 105 real-world bugs
                 in programs totalling 5MLOC and involving 10,000 tests,
                 our new algorithm requires an order-of-magnitude fewer
                 test evaluations than the previous state-of-the-art and
                 is over three times more efficient monetarily.",
  notes =        "ase2013.org/ See also

                 INSPEC Accession Number: 1402267 Also known as

Genetic Programming entries for Westley Weimer Zachary P Fry Stephanie Forrest