Flux Research Group / School of Computing

software testing publications (see more about software testing)

2024
Random Testing of the WebAssembly System Interface
Ethan Stanley
Honors Bachelors Thesis 2024 [ pdf :: bibtex ]
2023
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 ]
Avoiding the Ordering Trap in Systems Performance Measurement
Dmitry Duplyakin, Nikhil Ramesh, Carina Imburgia, Hamza Fathallah Al Sheikh, Semil Jain, Prikshit Tekta, Aleksander Maricq, Gary Wong, and Robert Ricci
In ATC 2023 [ pdf :: bibtex ]
Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis
Sirus Shahini, Mu Zhang, Mathias Payer, and Robert Ricci
In AsiaCCS 2023 [ pdf :: slides :: bibtex ]
2021
Implementation, Integration, and Application of Embedded Domain-Specific Languages
William Gallard Hatch
PhD Dissertation, University of Utah 2021 [ bibtex ]
2020
Clotho: A Racket Library for Parametric Randomness
Pierce Darragh, William Gallard Hatch, and Eric Eide
In Scheme 2020 [ pdf :: bibtex ]
2019
On Studying CPU Performance of CloudLab Hardware
Dmitry Duplyakin, Alexandru Uta, Aleksander Maricq, and Robert Ricci
In MERIT 2019 [ pdf :: bibtex ]
2018
Taming Performance Variability
Aleksander Maricq, Dmitry Duplyakin, Ivo Jimenez, Carlos Maltzahn, Ryan Stutsman, and Robert Ricci
In OSDI 2018 [ pdf :: slides :: bibtex ]
2017
PopperCI: Automated Reproducibility Validation
Ivo Jiminez, Carlos Maltzahn, Jay Lofstead, Kathryn Mohror, Remzi Arpaci-Dusseau, Andrea Arpaci-Dusseau, and Robert Ricci
In CNERT 2017 [ bibtex ]
2016
Introducing Configuration Management Capabilities into CloudLab Experiments
Dmitry Duplyakin and Robert Ricci
In CNERT 2016 [ pdf :: slides :: bibtex ]
2015
Potassium: Penetration Testing as a Service
Cai (Richard) Li, Dallin Abendroth, Xing Lin, Yuankai (Kyle) Guo, Hyunwook Baek, Eric Eide, Robert Ricci, and Jacobus (Kobus) Van der Merwe
In SoCC 2015 [ pdf :: bibtex ]
Apt: A Platform for Repeatable Research in Computer Science
Robert Ricci, Gary Wong, Leigh Stoller, Kirk Webb, Jonathon Duerig, Keith Downie, and Mike Hibler
In OSR 49(1), January 2015 [ pdf :: bibtex ]
2013
Help, Help, I'm Being Suppressed! The Significance of Suppressors in Software Testing
Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, and John Regehr
In ISSRE 2013 [ bibtex ]
Taming Compiler Fuzzers
Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Fern, Eric Eide, and John Regehr
In PLDI 2013 [ pdf :: slides :: bibtex ]
2012
Swarm Testing
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr
In ISSTA 2012 [ pdf :: slides :: bibtex ]
Test-Case Reduction for C Compiler Bugs
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, and Xuejun Yang
In PLDI 2012 (award paper) [ pdf :: slides :: bibtex ]
2011
Finding and Understanding Bugs in C Compilers
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr
In PLDI 2011 (award paper) [ pdf :: slides :: bibtex ]
2008
Volatiles Are Miscompiled, and What to Do about It
Eric Eide and John Regehr
In EMSOFT 2008 [ pdf :: slides :: bibtex ]
2007
An Experimentation Workbench for Replayable Networking Research
Eric Eide, Leigh Stoller, and Jay Lepreau
In NSDI 2007 [ pdf :: slides :: bibtex ]
2006
An Experimentation Workbench for Replayable Networking Research
Eric Eide, Leigh Stoller, and Jay Lepreau
Flux Technical Note FTN–2006–03 2006 [ pdf :: bibtex ]
Integrated Scientific Workflow Management for the Emulab Network Testbed
Eric Eide, Leigh Stoller, Tim Stack, Juliana Freire, and Jay Lepreau
In USENIX ATC 2006 [ pdf :: slides :: bibtex ]
Integrated Scientific Workflow Management for the Emulab Network Testbed
Eric Eide, Leigh Stoller, Tim Stack, Juliana Freire, and Jay Lepreau
Flux Technical Note FTN–2006–01 2006 [ pdf :: bibtex ]