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