A systematic literature review on counterexample explanation.

Arut Prakash Kaleeswaran Arne Nordmann Thomas Vogel Lars Grunske

Published in: Inf. Softw. Technol. (2022)

Keyphrases

literature review
case study
fuzzy theory
current issues
public libraries
model checking
design science
formal verification
information systems development
requirements engineering