Modular and verified automatic program repair.

Francesco Logozzo, Thomas Ball

Browse the full OOPSLA paper archive.