@InProceedings{PFNM-FASE14,
  author = {Yu Pei and Carlo A. Furia and Martin Nordio and Bertrand Meyer},
  title = {Automatic Program Repair by Fixing Contracts},
  booktitle = {Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE)},
  year = {2014},
  editor = {Stefania Gnesi and Arend Rensink},
  series = {Lecture Notes in Computer Science},
  pages = {XXX--XXX},
  volume = {XXXX},
  month = {April},
  publisher = {Springer},
  acceptancerate = {23\%}
}