Deductive Program Repair.

Etienne Kneuss, Manos Koukoutos, Viktor Kuncak

Browse the full CAV paper archive.