Automated fixing of programs with contracts. - Yi Wei 001; Yu Pei 001; Carlo A. Furia; Lucas Serpa Silva; Stefan Buchholz; Bertrand Meyer 001; Andreas Zeller (ISSTA, 2010)