Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang 0001, Lu Zhang 0023
Precise condition synthesis for program repair
ICSE, 2017.
@inproceedings{ICSE-2017-XiongWYZH00,
author = "Yingfei Xiong and Jie Wang and Runfa Yan and Jiachen Zhang and Shi Han and Gang Huang 0001 and Lu Zhang 0023",
booktitle = "{Proceedings of the 39th International Conference on Software Engineering}",
doi = "10.1109/ICSE.2017.45",
isbn = "978-1-5386-3868-2",
pages = "416--426",
publisher = "{IEEE / ACM}",
title = "{Precise condition synthesis for program repair}",
year = 2017,
}