Welcome to the Testing and Validation lab! We are concerned primarily with software testing, validation, and verification; that is, finding bugs and making software more robust.


  • Towards a Systems Programming Language Designed for Hierarchical State Machines
    Brian McClelland, Daniel Tellier, Meyer Millman, Kate Beatrix Go, Alice Balayan, Michael J Munje, Kyle Dewey, Nhut Ho, Klaus Havelund, Michel Ingham
    International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2021 (to appear)
  • A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study
    Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf
    International Conference on Software Quality, Reliability, and Security (QRS), 2020
  • MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
    Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov
    International Conference on Software Testing, Verification and Validation (ICST), 2020 (to appear)
  • Bouncer: Static Program Analysis in Hardware
    Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood
    International Symposium on Computer Architecture (ISCA), 2019


Lab head: Prof. Kyle Dewey

Masters Students

Undergraduate Students

Past Students