Execution-Aware Program Reduction for WebAssembly via Record and Replay

Doehyun Baek, Daniel Lehmann, Ben L. Titzer +2

WebAssembly (Wasm) programs may trigger bugs in their engine implementations. To aid debugging, program reduction techniques try to produce a smaller variant of the input program t…