QVM: An Efficient Runtime for Detecting Defects in Deployed Systems

Matthew Arnold, Martin Vechev, Eran Yahav

OOPSLA 2008 - ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications.

Notes

Here are some of the experiment logs recording (some of) our experience with QVM over various benchmarks:

Azureus (here are some bug reports bug1,bug2,bug3,bug4,bug5)