Conference Proceedings
Empirical Study on Synthesis Engines for Semantics-Based Program Repair
Xuan-Bach D Le, David Lo, Claire Le Goues
2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) | IEEE | Published : 2016
Grants
Awarded by Air Force
Awarded by US Department of Defense through the Systems Engineering Research Center (SERC)
Funding Acknowledgements
This research was funded in part by the Air Force under Contract #FA8750-15-2-0075 and by the US Department of Defense through the Systems Engineering Research Center (SERC), Contract H98230-08-D-0171.