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. The lab is headed by Prof. Kyle Dewey. (Possibly former) CSUN student co-authors are shown below in italics.

Publications

• Breccia: A Functional DSL Compiled to Egglog for Test Input Generation
  Peter Boyland, Sarah Canto Hyatt, Kyle Dewey, Ben Hardekopf
  ACM International Symposium on Functional and Logic Programming (FLOPS), 2026 (to appear)
• Mutation-Based Fuzzer for the Swift Compiler
  Sarah Canto Hyatt, Kyle Dewey
  Science of Computer Programming, Software Track (Elsevier Journal), 2026
• Iterator-Based Parser Combinators for Ambiguous Grammars
  Param Desai, Devaansh Mann, Kyle Dewey
  Computer Science Conference for CSU Undergraduates (CSCSU), 2025
• Mutation-based Fuzzing of the Swift Compiler With Incomplete Type Information
  Sarah Canto Hyatt, Kyle Dewey
  IEEE International Conference on Software Testing, Verification and Validation (ICST), 2025
• MLGTT: An Open-Source Tool to Generate Camera-Relative Ground Truth for Monocular Localization
  Jorge Enriquez, Tu-Hoa Pham, Philip Bailey, Kyle Dewey
  IEEE Aerospace Conference (AeroConf), 2025
• Aliasing Limits on Translating C to Safe Rust
  Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf
  ACM Object-oriented Programming, Systems, Languages, and Applications (OOPSLA), 2023
• Translating C to Safer Rust
  Mehmet Emre, Ryan Schroeder, Kyle Dewey, Ben Hardekopf
  ACM Object-oriented Programming, Systems, Languages, and Applications (OOPSLA), 2021
• 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
  IEEE 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
  IEEE 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
  IEEE International Conference on Software Testing, Verification and Validation (ICST), 2020
• Bouncer: Static Program Analysis in Hardware
  Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood
  ACM/IEEE International Symposium on Computer Architecture (ISCA), 2019