@inproceedings{ICSME-2016-LeLLG,
	author        = "Xuan-Bach D. Le and Quang Loc Le and David Lo 0001 and Claire Le Goues",
	booktitle     = "{Proceedings of the 32nd International Conference on Software Maintenance and Evolution}",
	doi           = "10.1109/ICSME.2016.66",
	isbn          = "978-1-5090-3806-0",
	pages         = "428--432",
	publisher     = "{IEEE Computer Society}",
	title         = "{Enhancing Automated Program Repair with Deductive Verification}",
	year          = 2016,
}