logo

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.

Publications

  • 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 (to appear)
  • 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

People

Lab head: Prof. Kyle Dewey

Masters Students

Undergraduate Students

Past Students