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
Awarded by US Air Force
Awarded by US Department of Defense through the Systems Engineering Research Center (SERC)
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).