Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems.
Christian SchwarzlBernhard PeischlPublished in: QSIC (2010)
Keyphrases
- industrial applications
- transition systems
- model checking
- concurrent systems
- temporal logic
- finite state
- state transitions
- state transition
- web services
- software engineering
- practical reasoning
- state space
- distributed systems
- test suite
- control flow
- object oriented
- binary decision diagrams
- model checker
- hidden markov models