Model Based Testing with Labelled Transition Systems.
Jan TretmansPublished in: Formal Methods and Testing (2008)
Keyphrases
- transition systems
- model based testing
- test cases
- model checking
- software development
- control flow
- software testing
- concurrent systems
- temporal logic
- software design
- finite state
- security policies
- testing process
- practical reasoning
- reactive systems
- sequence diagrams
- model checker
- test data
- distributed systems
- formal verification
- test suite
- formal specification
- markov chain
- software engineering
- test set
- open source