Verifying Relative Safety, Accuracy, and Termination for Program Approximations.

Shaobo He Shuvendu K. Lahiri Zvonimir Rakamaric

Published in: J. Autom. Reason. (2018)

Keyphrases

high accuracy
error rate
precision and recall
data sets
databases
active learning
computational cost
prediction accuracy
program execution
database
improved accuracy
highly accurate
correlation coefficient
least squares
computational complexity
website
search engine