Angelix: scalable multiline program patch synthesis via symbolic analysis.

Sergey Mechtaev Jooyong Yi Abhik Roychoudhury

Published in: ICSE (2016)

Keyphrases

data analysis
statistical analysis
static analysis
dynamic analysis
databases
data mining
social networks
computer vision
knowledge base
image processing
multimedia
data structure
image analysis