Automatic Program Repair with Evolutionary Computation.
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 le...
| Publicado en: | Communications of the ACM Vol. 53; no. 5; pp. 109 - 117 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
May2010
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=50281782&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 50281782 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: May2010 vid: 53 iid: 5 pid: 68 pub: Association for Computing Machinery artinfo: ui: 50281782 10.1145/1735223.1735249 ppf: 109 ppct: 8 formats: tig: atl: Automatic Program Repair with Evolutionary Computation. aug: au: Weimer, Westley Forrest, Stephanie Le Goues, Claire Nguyen, ThanhVu affil: University of Virginia. University of New Mexico. su: Evolutionary computation Debugging Legacy systems Computer software Genetic programming Source code sug: subj: Evolutionary computation Debugging Legacy systems Computer software Genetic programming Source code ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|