From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases.
Valdivino Alexandre de Santiago JúniorFelipe Elias Costa da SilvaPublished in: SAST (2017)
Keyphrases
- model checking
- test cases
- reactive systems
- model checker
- temporal properties
- test suite
- formal verification
- formal specification
- formal methods
- transition systems
- test case generation
- temporal logic
- regression testing
- test generation
- software testing
- process algebra
- sequence diagrams
- asynchronous circuits
- testing process
- symbolic model checking
- number of test cases
- finite state machines
- automated verification
- concurrent systems
- bounded model checking
- linear temporal logic
- control flow
- deterministic finite automaton
- model based testing
- computation tree logic
- specification language
- uml models
- verification method
- binary decision diagrams
- epistemic logic
- database
- static analysis
- planning domains
- information flow
- test set