Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel 0001, Lars Grunske. A systematic literature review on counterexample explanation - Summary. In Gregor Engels, Regina Hebig, Matthias Tichy, editors, Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn. Volume P-332 of LNI, pages 71-72, Gesellschaft für Informatik e.V., 2023. [doi]
@inproceedings{KaleeswaranN0G23,
title = {A systematic literature review on counterexample explanation - Summary},
author = {Arut Prakash Kaleeswaran and Arne Nordmann and Thomas Vogel 0001 and Lars Grunske},
year = {2023},
url = {https://dl.gi.de/20.500.12116/40087},
researchr = {https://researchr.org/publication/KaleeswaranN0G23},
cites = {0},
citedby = {0},
pages = {71-72},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn},
editor = {Gregor Engels and Regina Hebig and Matthias Tichy},
volume = {P-332},
series = {LNI},
publisher = {Gesellschaft für Informatik e.V.},
isbn = {978-3-88579-726-5},
}