Program Repair as Sound Optimization of Broken Programs | IEEE Conference Publication | IEEE Xplore