@InProceedings{Makoto-aplas:16, author = "Le Dinh Xuan Bach and Quang Loc Le and David Lo and Claire Le Goues", title = "Enhancing Automated Program Repair with Deductive Verification", note = "ICSME-ERA", year = 2016 }