Precise condition synthesis for program repair

Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang 0001, Lu Zhang 0023. Precise condition synthesis for program repair. In Sebastián Uchitel, Alessandro Orso, Martin P. Robillard, editors, Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017. pages 416-426, IEEE / ACM, 2017. [doi]

@inproceedings{XiongWYZH0017,
  title = {Precise condition synthesis for program repair},
  author = {Yingfei Xiong and Jie Wang and Runfa Yan and Jiachen Zhang and Shi Han and Gang Huang 0001 and Lu Zhang 0023},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3097418},
  researchr = {https://researchr.org/publication/XiongWYZH0017},
  cites = {0},
  citedby = {0},
  pages = {416-426},
  booktitle = {Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017},
  editor = {Sebastián Uchitel and Alessandro Orso and Martin P. Robillard},
  publisher = {IEEE / ACM},
  isbn = {978-1-5386-3868-2},
}