Incremental upgrade checking by means of interpolation-based function summaries.

Ondrej Sery Grigory Fedyukovich Natasha Sharygina

Published in: FMCAD (2012)

Keyphrases

data driven
incremental learning
neural network
real world
learning algorithm
computer vision
piecewise linear
linear interpolation
band limited
spline interpolation