@inproceedings{ICSME-2016-LeLG,
	author        = "Xuan-Bach D. 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.68",
	isbn          = "978-1-5090-3806-0",
	pages         = "423--427",
	publisher     = "{IEEE Computer Society}",
	title         = "{Empirical Study on Synthesis Engines for Semantics-Based Program Repair}",
	year          = 2016,
}