SSERL
Home
Members
Seminar
Publications
Software
Funding
Mohammad Amin Alipour
Latest
Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault Localization
Does choice of mutation tool matter?
Mutation Reduction Strategies Considered Harmful
Bounded Model Checking and Feature Omission Diversity
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
Mitigating (and exploiting) test reduction slippage
On the limits of mutation reduction strategies
Cite
×