testcase minimization

Books

• https://www.debuggingbook.org/

Algorithms and Implementations

• 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"

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