Revision as of 10:38, 11 February 2016 edit 92.24.93.38 (talk) →Techniques using Formal Verification ← Previous edit		Revision as of 20:47, 11 February 2016 edit undo W102102 (talk \| contribs) 214 edits m Add internal link for formal analysis and Formal methods Bill Next edit →
Line 10: It is also commonly referred to as ''automatic bug repair'' or ''automatic patch generation''. Techniques for automatic bug-fixing are still in their infancy, but are broadly divided into two camps depending on the way the proposed repair is evaluated: those based on [[Formal verification\|formal analysis]], and those that use a generate-and-validate approach. The former ~~utilises~~uses [[formal methods]] to prove properties of a repair, whilst the latter relies on the availability of a high-quality test suite or similar artifact to validate the outcome of the repair process. ==Techniques using Formal Verification==

Automatic bug fixing: Difference between revisions