Auflistung nach Autor:in "Nordmann, Arne"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragA systematic literature review on counterexample explanation - Summary(Software Engineering 2023, 2023) Kaleeswaran, Arut Prakash; Nordmann, Arne; Vogel, Thomas; Grunske, LarsIn this extended abstract, we summarize our systematic literature review on counterexample explanation published in the journal Information and Software Technology (IST) in 2022 [Ka22].