Search
Now showing items 1-4 of 4
Increasing test efficiency by risk-driven model-based testing
(Elsevier, 2018-10)
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 ...
Successive refinement of models for model-based testing to increase system test effectiveness
(IEEE, 2016)
Model-based testing is used for automatically generating test cases based on models of the system under test. The effectiveness of tests depends on the contents of these models. Therefore, we introduce a novel three-step ...
Automated refinement of models for model-based testing using exploratory testing
(Springer International Publishing, 2017-09)
Model-based testing relies on models of the system under test to automatically generate test cases. Consequently, the effectiveness of the generated test cases depends on models. In general, these models are created manually, ...
Risk-driven model-based testing of washing machine software: an industrial case study
(IEEE, 2018-07-16)
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