QVM: an efficient runtime for detecting defects in deployed systems.

Matthew Arnold, Martin T. Vechev, Eran Yahav

Browse the full OOPSLA paper archive.