Logo des Repositoriums
 
Konferenzbeitrag

A systematic literature review on counterexample explanation - Summary

Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Dateien

paper22.pdf (177.92 KB)

Zusatzinformation

Datum

2023

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Software Engineering 2023
Wissenschaftliches Hauptprogramm

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

In this extended abstract, we summarize our systematic literature review on counterexample explanation published in the journal Information and Software Technology (IST) in 2022 [Ka22].

Beschreibung

Kaleeswaran, Arut Prakash; Nordmann, Arne; Vogel, Thomas; Grunske, Lars (2023): A systematic literature review on counterexample explanation - Summary. Software Engineering 2023. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-726-5. pp. 71-72. Wissenschaftliches Hauptprogramm. Paderborn. 20.–24. Februar 2023

Schlagwörter

Model checking , Counterexample explanation , Safety

Zitierform

DOI

Tags

Sammlungen

P332 - Software Engineering 2023