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

• 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
• 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

People

Lab head: Prof. Kyle Dewey

Masters Students

• Brian McClelland
• Michael Munje
• Edward Olmos
• Eduardo Preciado

Undergraduate Students

• Joshua Alvarado
• Alisiya Balayan
• Geovanni Bisono
• Simran Gill
• Kate Go
• Kavya Manohar
• Meyer Millman
• Eileen Quiroz
• Nuelbella Sandoval
• Frank Serdenia
• Daniel Tellier

Past Students

• Hekmat Barbar (BS)
• Angelica Flores (BS)
• Mario Garcia (BS)
• Liad Golan (BS)
• Shant Hairapetian (BS)
• Tom Perez (BS)
• Victor Pineda (BS)
• Alexis Siguenza (BS)