SSERL
Home
Members
Seminar
Publications
Software
Funding
Josie Holmes
Latest
An extensible, regular-expression-based tool for multi-language mutant generation
Causal Distance-Metric-Based Assistance for Debugging after Compiler Fuzzing
How verified (or tested) is my code? Falsification-driven verification and testing
TSTL: the template scripting testing language
A suite of tools for making effective use of automatically generated tests
One test to rule them all
Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation
Mitigating (and exploiting) test reduction slippage
Cite
×