WasmFuzzer: A Fuzzer for WasAssembly Virtual Machines. - Bo Jiang 001; Zichao Li 008; Yuhe Huang; Zhenyu Zhang 004; W. K. Chan 001 (SEKE, 2022)