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]

Abstract

Abstract is missing.