Sign in

A systematic literature review on counterexample explanation.

Arut Prakash KaleeswaranArne NordmannThomas VogelLars 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