Kaleeswaran, Arut PrakashNordmann, ArneVogel, ThomasGrunske, LarsEngels, GregorHebig, ReginaTichy, Matthias2023-01-182023-01-182023978-3-88579-726-5https://dl.gi.de/handle/20.500.12116/40087In this extended abstract, we summarize our systematic literature review on counterexample explanation published in the journal Information and Software Technology (IST) in 2022 [Ka22].enModel checkingCounterexample explanationSafetyText/Conference Paper1617-5468