@inproceedings{wei2010automated,
  author={Wei, Y. and Pei, Y. and Furia, C.A. and Silva, L.S. and Buchholz, S. and Meyer, B. and Zeller, A.},
  title={Automated fixing of programs with contracts},
  booktitle={Proceedings of the 19th international symposium on Software testing and analysis},
  year={2010},
  pages={61--72},
  organization={ACM}
}