Efficient runtime invariant checking: a framework and case study.

Michael Gorbovitski Tom Rothamel Yanhong A. Liu Scott D. Stoller

Published in: WODA (2008)

Keyphrases

case study
main contribution
lightweight
theoretical framework
computer vision
image processing
computationally efficient
framework enables
data sets
search engine
decision trees
multiscale
feature vectors
software development
computationally expensive