27 search results - page 2 / 6 » icst 2010 |
ICST
2010
IEEE
13 years 2 months ago
2010
IEEE
ICST
2010
IEEE
13 years 2 months ago
2010
IEEE
ICST
2010
IEEE
13 years 2 months ago
2010
IEEE
ICST
2010
IEEE
13 years 3 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
ICST
2010
IEEE
13 years 2 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...