MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3.
Winfried DulzFenhua ZhenPublished in: QSIC (2003)
Keyphrases
- image features
- markov chain
- sequence diagrams
- test suite
- model based testing
- test cases
- regression testing
- steady state
- confidence intervals
- transition probabilities
- finite state
- markov model
- reverse engineering
- state space
- markov process
- stochastic process
- uml models
- class diagrams
- markov processes
- random walk
- stationary distribution
- software testing
- petri net
- test sequences
- probabilistic automata
- testing process
- test set
- object oriented
- information theoretic
- software development
- markov models
- mutual information
- transition matrix
- low level
- maximum entropy