@Article{PFNWMZ-TSE14, author = {Yu Pei and Carlo A. Furia and Martin Nordio and Yi Wei and Bertrand Meyer and Andreas Zeller}, title = {Automated Fixing of Programs with Contracts}, journal = {IEEE Transactions on Software Engineering}, volume = {40}, number = {5}, pages = {427--449}, month = {May}, year = {2014}, urltopdf = {/people/furia/pubs/tse14-autofix.pdf} }