"Automatic Program Repair by Fixing Contracts."

Yu Pei et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics