QVM: an efficient runtime for detecting defects in deployed systems.

Matthew Arnold Martin T. Vechev Eran Yahav

Published in: OOPSLA (2008)

Keyphrases

data mining
real time
genetic algorithm
knowledge base
complex systems
learning systems
knowledge based systems
distributed systems
computer systems
human machine
database
defect detection
building blocks
management system
data model
expert systems
multiscale
image segmentation
real world