Precise Condition Synthesis for Program Repair

@inproceedings{ICSE17a,
  author = {Yingfei Xiong and Jie Wang and Runfa Yan and Jiachen Zhang and Shi Han and Gang Huang and Lu Zhang},
  site_author_id_2 = {WangJie},
  title = {Precise Condition Synthesis for Program Repair},
  year = {2017},
  month = {5},
  booktitle = {ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina},
  site_corr = {6},
  site_slides = {papers/ICSE17-slides.pdf},
  site_tool = {https://github.com/Adobee/ACS},
  site_links_json = {[{"caption":{"en":"Long Version","zh":"技术报告版本（较长）"},"url":{"en":"https://arxiv.org/abs/1608.07754"}},{"caption":{"zh":"软工研究与实践","en":"SE-China"},"url":{"zh":"https://mp.weixin.qq.com/s/S_pogx3__AmvQPm7ddTF8g"}},{"caption":{"zh":"AI头条","en":"MSR Asia"},"url":{"zh":"https://mp.weixin.qq.com/s/SYM5_6xjBfC7kyXIQ3lsRA"}},{"caption":{"zh":"微软研究院博客","en":"MSR Blog"},"url":{"en":"https://www.microsoft.com/en-us/research/blog/program-repairs-programs-achieve-78-3-percent-precision-automated-program-repair/?from=timeline"}},{"caption":{"zh":"量子位","en":"QbitAI"},"url":{"zh":"https://mp.weixin.qq.com/s/AsbH-TCZwhaTeheuzM5EHg"}},{"caption":{"zh":"机器之心","en":"AlmostHuman"},"url":{"zh":"https://baijiahao.baidu.com/s?id=1575145772560361&wfr=spider&for=pc"}}]}
}