@inproceedings{Wei_ISSTA10, author = {Yi Wei and Yu Pei and Carlo A. Furia and Lucas S. Silva and Stefan Buchholz and Bertrand Meyer and Andreas Zeller}, title = {Automated Fixing of Programs with Contracts}, booktitle = {Proceedings of the International Symposium on Software Testing and Analysis 2010 (ISSTA'10)}, year = {2010}, urltopdf = {/people/wei/papers/automated_fixing_of_programs_with_contracts.pdf}, acm = {http://portal.acm.org/citation.cfm?doid=1831708.1831716} }