@MastersThesis{
Watson23Random,
Author = {Guy Watson},
Title = {Random Testing of {WebAssembly} Implementations Using Semantically Valid Programs},
School = {University of Utah},
Year = {2023}
}