@inproceedings{PFN-FASE14, author = {Yu Pei and Carlo A. Furia and Martin Nordio}, title = {Automatic Program Repair by Fixing Contracts}, booktitle = {17th International Conference on Fundamental Approaches to Software Engineering (FASE)}, year = {2014}, % pages = {251-268}, % publisher = {Springer}, % series = {Lecture Notes in Computer Science}, % volume = {8174}, % isbn = {978-3-642-40786-4}, urltopdf = {http://se.inf.ethz.ch/people/ypei/download/automatic_program_repair_by_fixing_contracts.pdf} }