Automatic Program Repair by Fixing Contracts.

Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer

Browse the full FASE paper archive.