Content deleted Content added
Add internal link for test suite Bill |
m →Techniques using Formal Verification: Add internal pointer to Program synthesis |
||
Line 14:
==Techniques using Formal Verification==
Verification-based program repair combines techniques from formal verification, [[program synthesis]], and fault-localisation. Industrial application of these techniques is limited due to the computation cost involved; it is not clear how potentially scalable such methods are. To reduce the number of possible repairs and hence the computational cost, often only a small pre-defined class of bugs is considered. Examples of bug classes include off-by-one errors and memory leaks
.<ref>Automatic Software Repair http://www.monperrus.net/martin/automatic-software-repair</ref>
| |||