A systematic literature review on counterexample explanation - Summary

Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel 0001, Lars Grunske. A systematic literature review on counterexample explanation - Summary. In Gregor Engels, Regina Hebig, Matthias Tichy, editors, Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn. Volume P-332 of LNI, pages 71-72, Gesellschaft für Informatik e.V., 2023. [doi]

Abstract

Abstract is missing.