Modular and verified automatic program repair

Francesco Logozzo, Thomas Ball
2012 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12  
doi:10.1145/2384616.2384626 dblp:conf/oopsla/LogozzoB12 fatcat:ynimqpzbobbsrhwhe25w27wmbi