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

Pierre Misse-Chanabier, Guillermo Polito, Stphane Ducasse, Noury Bouraqadi, Luc Fabresse, Pablo Tesone

Browse the full SAC paper archive.