Selective Instrumentation Mechanism and its Application in a Virtual Machine | IEEE Conference Publication | IEEE Xplore