Automated Fixing of Programs with Contracts

Yu Pei 0001, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller. Automated Fixing of Programs with Contracts. IEEE Trans. Software Eng., 40(5):427-449, 2014. [doi]

Abstract

Abstract is missing.