Matthew Arnold, Martin T. Vechev, Eran Yahav. QVM: An Efficient Runtime for Detecting Defects in Deployed Systems. ACM Transactions on Software Engineering Methodology, 21(1):2, 2011. [doi]
@article{ArnoldVY11,
title = {QVM: An Efficient Runtime for Detecting Defects in Deployed Systems},
author = {Matthew Arnold and Martin T. Vechev and Eran Yahav},
year = {2011},
doi = {10.1145/2063239.2063241},
url = {http://doi.acm.org/10.1145/2063239.2063241},
researchr = {https://researchr.org/publication/ArnoldVY11},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Software Engineering Methodology},
volume = {21},
number = {1},
pages = {2},
}