A systematic literature review on counterexample explanation.

Arut Prakash Kaleeswaran Arne Nordmann Thomas Vogel Lars Grunske

Published in: CoRR (2022)

Keyphrases

literature review
case study
model checking
current issues
design science
fuzzy theory
information systems development
public libraries
higher education institutions
key issues