Content deleted Content added
Puppydragon (talk | contribs) |
Puppydragon (talk | contribs) |
||
Line 354:
===SMT Solver===
Another way to generate candidate patches is to use solvers for
[[satisfiability modulo theories]] (SMT). Solver-based techniques convert a
Line 363 ⟶ 362:
The limitation of this approach is that real
world programs are often converted to intractably large formulas especially for
modifying statements with [[side effect (computer science) | side effects]]<ref name=semfix/><ref name=angelix/>.
==Patch validation==
| |||