Now showing items 1-2 of 2
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 ...
Risk-driven model-based testing of washing machine software: an industrial case study
We previously introduced an approach for risk-driven model-based testing. In that approach, test models are represented in the form of Markov chains and test case generation is steered by state transition probabilities. ...
Share this page