Pierre Misse-Chanabier, Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, Pablo Tesone. Differential testing of simulation-based VM generators: automatic detection of VM generator semantic gaps between simulation and generated VMs. In Jiman Hong, Miroslav Bures, Juw Won Park, Tomás Cerný, editors, SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022. pages 1280-1283, ACM, 2022. [doi]
Abstract is missing.