A systematic literature review on counterexample explanation - Summary
| dc.contributor.author | Kaleeswaran, Arut Prakash | |
| dc.contributor.author | Nordmann, Arne | |
| dc.contributor.author | Vogel, Thomas | |
| dc.contributor.author | Grunske, Lars | |
| dc.contributor.editor | Engels, Gregor | |
| dc.contributor.editor | Hebig, Regina | |
| dc.contributor.editor | Tichy, Matthias | |
| dc.date.accessioned | 2023-01-18T13:38:42Z | |
| dc.date.available | 2023-01-18T13:38:42Z | |
| dc.date.issued | 2023 | |
| dc.description.abstract | 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]. | en |
| dc.identifier.isbn | 978-3-88579-726-5 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/40087 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software Engineering 2023 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-332 | |
| dc.subject | Model checking | |
| dc.subject | Counterexample explanation | |
| dc.subject | Safety | |
| dc.title | A systematic literature review on counterexample explanation - Summary | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 72 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 71 | |
| gi.conference.date | 20.–24. Februar 2023 | |
| gi.conference.location | Paderborn | |
| gi.conference.sessiontitle | Wissenschaftliches Hauptprogramm |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- paper22.pdf
- Größe:
- 177.92 KB
- Format:
- Adobe Portable Document Format