Precise Condition Synthesis for Program Repair.

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

Published in: CoRR (2016)

Keyphrases

program synthesis
functional programs
sufficient conditions
computer programs
image processing
databases
search engine
java programs