Precise condition synthesis for program repair.

Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang

Browse the full ICSE paper archive.