TY - RPRT TI - Precise Condition Synthesis for Program Repair AU - Yingfei Xiong AU - Jie Wang AU - Runfa Yan AU - Jiachen Zhang AU - Shi Han AU - Gang Huang AU - Lu Zhang PY - 2018 UR - https://arxiv.org/abs/1608.07754 ID - 1608.07754 ER -