Automated Repair of High Inaccuracies in Numerical Programs.

Xin Yi Liqian Chen Xiaoguang Mao Tao Ji

Published in: ICSME (2017)

Keyphrases

wide range
data driven
computer aided
fully automated
computer programs
numerical data
real world
data mining
computer vision
relational databases
computer assisted
semi automated
stable models
automated analysis