-
Notifications
You must be signed in to change notification settings - Fork 409
testcase minimization
Sergey Bronnikov edited this page Jul 7, 2022
·
32 revisions
- preduce. Language-agnostic.
- C-Reduce, according to comparison C-Reduce is significantly better than Delta
- Delta-Debugging algorithm, see paper Simplifying Failure-Inducing Input, Ralf Hildebrandt and Andreas Zeller, 2000. Implementations:
- https://www.st.cs.uni-saarland.de/dd/
- Python (reference implementation) https://www.st.cs.uni-saarland.de/dd/DD.py
- Python https://github.com/br0ns/ddmin
- Python picire - Parallel Delta Debugging Framework
- Perl https://github.com/mpflanzer/delta/blob/master/delta
- JS https://github.com/wala/jsdelta
- https://en.wikipedia.org/wiki/Delta_debugging#Software
- https://github.com/MarkusTeufelberger/afl-ddmin-mod
- halfempty https://github.com/googleprojectzero/halfempty
- DustMite https://dlang.org/blog/2020/04/13/dustmite-the-general-purpose-data-reduction-tool/
- afl-tmin, description
- lithium (testcase reduction algorithm is a modified version of the "ddmin" algorithm in Andreas Zeller's paper, Simplifying and Isolating Failure-Inducing Input)
- picipreny - Hierarchical Delta Debugging Framework.
- perses - language-agnostic program reducer using ANTLR grammar.
- (without implementation) Generalized Tree Reduction (GTR), Jibesh Patra Satia Herfert and Michael Pradel -- Automatically Reducing Tree-Structured Test Inputs.
- (without implementation) "ORBS: language-independent program slicing"
Copyright © 2014-2025 Sergey Bronnikov. Follow me on Mastodon @sergeyb@honk.bronevichok.ru and Telegram.
Learning
- Glossary
- Books:
- Courses
- Learning Tools
- Bugs And Learned Lessons
- Cheatsheets
Tools / Services / Tests
- Quality Assurance Tools
- Test Runners
- Testing-As-A-Service
- Conformance Test Suites
- Test Infrastructure
- Fault injection
- TTCN-3
- Continuous Integration
- Speedup your CI
- Performance
- Formal Specification
- Toy Projects
- Test Impact Analysis
- Formats
Functional testing
- Automated testing
- By type:
WIP sections
Community
Links