- CReduce regehr:pldi:2012
- QuickCheck
- Delta debugging
- Hierarchial Delta Debugging (HDD) uses a grammar for the test-case format
Instead of focusing on reduction, groce:issta:2017 focused on test-case normalization.
Notes related to Test-case reduction
Papers related to Test-case reduction
- One test to rule them all [groce:issta:2017]
- Test-case reduction via test-case generation: Insights from the Hypothesis reducer [maciver:ecoop:2020]
- Test-case reduction for C compiler bugs [regehr:pldi:2012]