Automated fixing of programs with contracts.

Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller

Browse the full ISSTA paper archive.