Bernd Fischer Ando Saabas Tarmo Uustalu Program Repair as Sound Optimization of Broken Programs. 165-173 2009 TASE http://dx.doi.org/10.1109/TASE.2009.61 conf/tase/2009 db/conf/tase/tase2009.html#FischerSU09