Decoupling Dynamic Test Generation from Specific Operating System Details Based on Whole System Virtual Machine | IEEE Conference Publication | IEEE Xplore