Differential testing of simulation-based VM generators
Pierre Misse-Chanabier, Guillermo Polito, Sté́phane Ducasse, Noury Bouraqadi, Luc Fabresse, Pablo Tesone · Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing · 2022
Testing and debugging language Virtual Machines (VMs) is a laborious task without the proper tooling. This complexity is aggravated when the VM targets multiple architectures. Simulation-based VM generator frameworks allow one to write test cases on the simulation, however they do not ensure the correctness of the generated artifact due to the semantic gap between the environments.