GI LogoGI Logo
  • Anmelden
Digitale Bibliothek
    • Gesamter Bestand

      • Bereiche & Sammlungen
      • Titel
      • Autor
      • Erscheinungsdatum
      • Schlagwort
    • Diese Sammlung

      • Titel
      • Autor
      • Erscheinungsdatum
      • Schlagwort
Digital Bibliothek der Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • Deutsch 
    • English
    • Deutsch
Dokumentanzeige 
  •   Startseite
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P332 - Software Engineering 2023
  • Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   Startseite
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P332 - Software Engineering 2023
  • Dokumentanzeige

A systematic literature review on counterexample explanation - Summary

Autor(en):
Kaleeswaran, Arut Prakash [DBLP] ;
Nordmann, Arne [DBLP] ;
Vogel, Thomas [DBLP] ;
Grunske, Lars [DBLP]
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}
}
DateienGroesseFormatAnzeige
paper22.pdf177.9Kb PDF Ö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

Keywords

  • Model checking
  • Counterexample explanation
  • Safety
Sammlungen
  • P332 - Software Engineering 2023 [60]

Zur Langanzeige


Über uns | FAQ | Hilfe | Impressum | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


Über uns | FAQ | Hilfe | Impressum | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.