Login / Signup

An Approach to Testing with Embedded Context Using Model Checker.

Lihua DuanJessica Chen
Published in: ICFEM (2008)
Keyphrases
  • model checker
  • formal verification
  • model checking
  • test suite
  • temporal logic
  • formal methods
  • artificial intelligence
  • machine learning
  • test cases
  • formal specification
  • description language