QVM: An Efficient Runtime for Detecting Defects in Deployed Systems.

Matthew Arnold Martin T. Vechev Eran Yahav

Published in: ACM Trans. Softw. Eng. Methodol. (2011)

Keyphrases

expert systems
database
neural network
management system
distributed systems
automatic detection
systems require
natural language
data model
hidden markov models
software engineering
knowledge based systems
anomaly detection
building blocks