Random Testing of WebAssembly Implementations Using Semantically Valid Programs

L: https://www.flux.utah.edu/paper/watson-thesis

C: https://news.ycombinator.com/item?id=36992222