Precise condition synthesis for program repair.

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

Published in: ICSE (2017)

Keyphrases

program synthesis
functional programs
sufficient conditions
computer programs
texture synthesis
damage assessment
artificial intelligence
highly accurate
database
data sets
data mining
genetic algorithm
computer vision
static analysis
programming environment