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.