Program Repair as Sound Optimization of Broken Programs.

Bernd Fischer, Ando Saabas, Tarmo Uustalu

Browse the full TASE paper archive.