testcase minimization

Books

• https://www.debuggingbook.org/

Algorithms and Implementations

• https://github.com/DRMacIver/shrinkray
• preduce. Language-agnostic.
• C-Reduce, according to comparison C-Reduce is significantly better than Delta
• C-Vise https://github.com/marxin/cvise
• 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
  • Python https://github.com/MarkusTeufelberger/afl-ddmin-mod/blob/master/afl-ddmin-mod.py
  • 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"

C/C++ amalgamation

• https://github.com/rindeal/Amalgamate
• https://github.com/vinniefalco/Amalgamate
• https://github.com/edlund/amalgamate
• https://www.mikeash.com/pyblog/friday-qa-2018-06-29-debugging-with-c-reduce.html