Model Driven Testing with Time Augmented Markov Chain Usage Models - Computations and Test Case Generation Algorithms for Time Augmented Markov Chain Usage Models.
Sebastian SieglVladimir EntinReinhard GermanGerhard KiffePublished in: ICSOFT (1) (2009)
Keyphrases
- markov chain
- monte carlo simulation
- transition probabilities
- model driven
- steady state
- gibbs sampler
- markov chain monte carlo
- monte carlo
- random walk
- transition matrix
- probabilistic model
- model selection
- metamodel
- mathematical models
- markov model
- black box
- markov models
- test cases
- database
- algo rithm
- life cycle
- learning algorithm