Xuan-Bach D. Le, Quang Loc Le, David Lo, Claire Le Goues. Enhancing Automated Program Repair with Deductive Verification. In 2016 IEEE International Conference on Software Maintenance and Evolution, ICSME 2016, Raleigh, NC, USA, October 2-7, 2016. pages 428-432, IEEE Computer Society, 2016. [doi]
Abstract is missing.