Decoupling Dynamic Test Generation from Specific Operating System Details Based on Whole System Virtual Machine.