Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel 0001, Lars Grunske. A systematic literature review on counterexample explanation. Information \& Software Technology, 145:106800, 2022. [doi]
@article{KaleeswaranNVG22,
title = {A systematic literature review on counterexample explanation},
author = {Arut Prakash Kaleeswaran and Arne Nordmann and Thomas Vogel 0001 and Lars Grunske},
year = {2022},
doi = {10.1016/j.infsof.2021.106800},
url = {https://doi.org/10.1016/j.infsof.2021.106800},
researchr = {https://researchr.org/publication/KaleeswaranNVG22},
cites = {0},
citedby = {0},
journal = {Information \& Software Technology},
volume = {145},
pages = {106800},
}