Differential testing of simulation-based VM generators: automatic detection of VM generator semantic gaps between simulation and generated VMs.