Automatic Program Repair by Fixing Contracts

Yu Pei 0001, Carlo A. Furia, Martin Nordio, Bertrand Meyer. Automatic Program Repair by Fixing Contracts. In Stefania Gnesi, Arend Rensink, editors, Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Volume 8411 of Lecture Notes in Computer Science, pages 246-260, Springer, 2014. [doi]


Abstract is missing.