Relating counterexamples to test cases in CTL model checking specifications.
Duminda WijesekeraPaul AmmannLingya SunGordon FraserPublished in: A-MOST (2007)
Keyphrases
- test cases
- model checking
- bounded model checking
- automated verification
- formal specification
- model checker
- transition systems
- temporal logic
- formal verification
- reactive systems
- computation tree logic
- concurrent systems
- finite state machines
- software testing
- temporal properties
- unit testing
- symbolic model checking
- test suite
- asynchronous circuits
- formal methods
- test set
- specification language
- verification method
- epistemic logic
- linear temporal logic
- planning domains
- number of test cases
- temporal epistemic
- object oriented
- modal logic
- domain independent
- database systems
- decision trees