SSERL
Home
Members
Seminar
Publications
Software
Funding
Alex Groce
Latest
Passages
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
Passages
Passages
Passages
Passages
Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization
TSTL: the template scripting testing language
Target Selection for Test-Based Resource Adaptation
Tutorial: DeepState: Bringing Vulnerability Detection Tools into the Development Cycle
A suite of tools for making effective use of automatically generated tests
Applying Mutation Analysis on Kernel Test Suites: An Experience Report
Does choice of mutation tool matter?
Mutation Reduction Strategies Considered Harmful
One test to rule them all
Passages
Passages
Passages
Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation
Resource Adaptation via Test-Based Software Minimization
The Theory of Composite Faults
A Method Dependence Relations Guided Genetic Algorithm
Bounded Model Checking and Feature Omission Diversity
Can testedness be effectively measured?
Cause reduction: delta debugging, even without bugs
Data Poisoning: Lightweight Soft Fault Injection for Python
Evaluating non-adequate test-case reduction
Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery
Generating focused random tests using directed swarm testing
Measuring Effectiveness of Mutant Sets
Mitigating (and exploiting) test reduction slippage
On the limits of mutation reduction strategies
Passages
Passages
Passages
Passages
Passages
Passages
Topsy-Turvy: a smarter and faster parallelization of mutation analysis
Cite
×