Matthew Arnold Martin T. Vechev Eran Yahav QVM: an efficient runtime for detecting defects in deployed systems. 143-162 2008 OOPSLA http://doi.acm.org/10.1145/1449764.1449776 conf/oopsla/2008 db/conf/oopsla/oopsla2008.html#ArnoldVY08