Conference Proceedings

Enhancing Automated Program Repair with Deductive Verification

Xuan-Bach D Le, Quang Loc Le, David Lo, Claire Le Goues

2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) | IEEE | Published : 2016

University of Melbourne Researchers

Grants

Awarded by US Air Force


Awarded by US Department of Defense through the Systems Engineering Research Center (SERC)



Funding Acknowledgements

Quang Loc is partially supported by grant T2MOE1303. This research was funded in part by the US Air Force (#FA8750-15-2-0075) and by the US Department of Defense through the Systems Engineering Research Center (SERC) (H98230-08-D-0171).