Modular and verified automatic program repair
Modular and verified automatic program repair
F. Logozzo,T. Ball
2012 · DOI: 10.1145/2384616.2384626
Conference on Object-Oriented Programming Systems, Languages, and Applications · 105 Citations
TLDR
The concept of a verified repair, a change to a program's source that removes bad execution traces while increasing the number of good traces, is introduced, where the bad/good traces form a partition of all the traces of a program.