Now showing items 1-1 of 1
Increasing test efficiency by risk-driven model-based testing
We introduce an approach and a tool, RIMA, for adapting test models used for model-based testing to augment information regarding failure risk. We represent test models in the form of Markov chains. These models comprise ...
Share this page