A systematic literature review on counterexample explanation - Summary
Autor(en):
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].
- Vollständige Referenz
- BibTeX
Kaleeswaran, A. P., Nordmann, A., Vogel, T. & Grunske, L.,
(2023).
A systematic literature review on counterexample explanation - Summary.
In:
Engels, G., Hebig, R. & Tichy, M.
(Hrsg.),
Software Engineering 2023.
Bonn:
Gesellschaft für Informatik e.V..
(S. 71-72).
@inproceedings{mci/Kaleeswaran2023,
author = {Kaleeswaran, Arut Prakash AND Nordmann, Arne AND Vogel, Thomas AND Grunske, Lars},
title = {A systematic literature review on counterexample explanation - Summary},
booktitle = {Software Engineering 2023},
year = {2023},
editor = {Engels, Gregor AND Hebig, Regina AND Tichy, Matthias} ,
pages = { 71-72 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
author = {Kaleeswaran, Arut Prakash AND Nordmann, Arne AND Vogel, Thomas AND Grunske, Lars},
title = {A systematic literature review on counterexample explanation - Summary},
booktitle = {Software Engineering 2023},
year = {2023},
editor = {Engels, Gregor AND Hebig, Regina AND Tichy, Matthias} ,
pages = { 71-72 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
| Dateien | Groesse | Format | Anzeige | |
|---|---|---|---|---|
| paper22.pdf | 177.9Kb | Öffnen |
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken
Mehr Information
ISBN: 978-3-88579-726-5
ISSN: 1617-5468
Datum: 2023
Sprache:
(en)
(en)
Typ: Text/Conference Paper

