@InProceedings{WFKM11-ICSE11, author = {Yi Wei and Carlo A. Furia and Nikolay Kazmin and Bertrand Meyer}, title = {Inferring Better Contracts}, booktitle = {Proceedings of the 33rd International Conference on Software Engineering (ICSE'11)}, editor = {Richard N. Taylor and Harald Gall and Nenad Medvidovic}, pages = {191--200}, year = {2011}, month = {May}, publisher = {ACM}, urltopdf = {http://se.inf.ethz.ch/people/furia/pubs/icse11.pdf} }