@inproceedings{1831716,
 author = {Wei, Yi and Pei, Yu and Furia, Carlo A. and Silva, Lucas S. and Buchholz, Stefan and Meyer, Bertrand and Zeller, Andreas},
 title = {Automated fixing of programs with contracts},
 booktitle = {ISSTA '10: Proceedings of the 19th international symposium on Software testing and analysis},
 year = {2010},
 isbn = {978-1-60558-823-0},
 pages = {61--72},
 location = {Trento, Italy},
 doi = {http://doi.acm.org/10.1145/1831708.1831716},
 publisher = {ACM},
 address = {New York, NY, USA},
 }