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, }