Modular and verified automatic program repair

Francesco Logozzo, Thomas Ball
2012 SIGPLAN notices  
doi:10.1145/2398857.2384626 fatcat:3hzh2uyhondjbehqgfv5mwdyka