Runtime Checking for Program Verification.

Karen Zee Viktor Kuncak Michael B. Taylor Martin C. Rinard

Published in: RV (2007)

Keyphrases

consistency checking
databases
neural network
search engine
knowledge base
image processing
case study
similarity measure
data streams