Flux Research Group / School of Computing

projects

Xsmith Xsmith
Guy Watson

Guy Watson

Alum, advised by Eric Eide
ms thesis Random Testing of WebAssembly Implementations Using Semantically Valid Programs
areas of interest languages, software testing
email guy.watson at utah.edu

publications with the flux group

Generating Conforming Programs With Xsmith
William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, and Eric Eide
In GPCE 2023 [ bibtex ]
Random Testing of WebAssembly Implementations Using Semantically Valid Programs
Guy Watson
Masters Thesis, University of Utah 2023 [ pdf :: bibtex ]