Precise condition synthesis for program repair. - Yingfei Xiong 001; Jie Wang 033; Runfa Yan; Jiachen Zhang; Shi Han; Gang Huang 001; Lu Zhang 023 (ICSE, 2017)