References

BB09

Robert Brummayer and Armin Biere. Fuzzing and delta-debugging SMT solvers. In Proceedings of the 7th International Workshop on Satisfiability Modulo Theories, 1–5. 2009.

KNP21

Gereon Kremer, Aina Niemetz, and Mathias Preiner. ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends. In to appear. 2021.

NB13

Aina Niemetz and Armin Biere. ddSMT: a delta debugger for the SMT-LIB v2 format. In Proceedings of the 11th International Workshop on Satisfiability Modulo Theories, SMT, 8–9. 2013.

Zel99

Andreas Zeller. Yesterday, my program worked. today, it does not. why? ACM SIGSOFT Software engineering notes, 24(6):253–267, 1999.

ZH02

Andreas Zeller and Ralf Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Trans. Software Eng., 28(2):183–200, 2002. doi:10.1109/32.988498.