@inproceedings{PolikarpovaCiupaMeyer09, author = {Nadia Polikarpova and Ilinca Ciupa and Bertrand Meyer}, title = {A comparative study of programmer-written and automatically inferred contracts}, booktitle = {ISSTA 2009: International Symposium on Software Testing and Analysis 2009}, year = {2009}, urltopdf = {/people/polikarpova/publications/issta09.pdf}, acm = {http://portal.acm.org/citation.cfm?id=1572284} }