QVM: an efficient runtime for detecting defects in deployed systems (2008)

by Matthew Arnold, Martin Vechev, Eran Yahav
Venue:In OOPSLA ’08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications