Revision as of 18:36, 10 February 2016 edit 92.16.218.27 (talk) →Test-and-Validate Techniques ← Previous edit		Revision as of 18:38, 10 February 2016 edit undo 92.16.218.27 (talk) →Example Tools Next edit →
Line 37: 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

Automatic bug fixing: Difference between revisions