[ICSME’16] Enhancing Automated Program Repair with Deductive Verification
Published in 32nd International Conference on Software Maintenance and Evolution, ERA Track, 2016
Authors: Xuan Bach D. Le, Quang Loc Le, David Lo, Claire Le Goues
Download Paper | Download Slides | Download Bibtex