Content deleted Content added
m →top: WP:CHECKWIKI error fix for #61. Punctuation goes before References. Do general fixes if a problem exists. - |
m ce |
||
Line 23:
or stochastic algorithms such as [[Genetic Programming]]. Research on the application of Genetic Programming to repair bugs is part of a subfield known as [[Genetic improvement]]. Current automatic repair systems using Genetic Improvement are able to repair real bugs in C, C++, and Java
<ref>Automatic program repair with evolutionary computation https://www.cs.virginia.edu/~weimer/p/p109-weimer.pdf</ref>
==Repair operators==
Line 33 ⟶ 32:
==Example tools==
Arguably the most well-known Genetic Improvement software repair tool is GenProg.<ref>GenProg: Evolutionary Program Repair http://dijkstra.cs.virginia.edu/genprog/</ref>
Examples of verification-based repair techniques are: the Semfix tool<ref>SemFix: Program Repair via Semantic Analysis https://www.comp.nus.edu.sg/~abhik/pdf/ICSE13-SEMFIX.pdf</ref>, which relies on symbolic execution, and Gopinath et al.'s work that relies on Alloy specifications.<ref>Contract-based Data Structure Repair Using Alloy http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.182.4390&rep=rep1&type=pdf</ref>
==Limitations of automatic repair==
| |||