::
front page
››
people
view
publications
::
projects
::
contact
projects
Xsmith
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
]