27 search results - page 2 / 6 » icst 2010 |
ICST
2010
IEEE
14 years 9 months ago
2010
IEEE
ICST
2010
IEEE
14 years 9 months ago
2010
IEEE
ICST
2010
IEEE
14 years 9 months ago
2010
IEEE
123
click to vote
ICST
2010
IEEE
14 years 10 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...
111
click to vote
ICST
2010
IEEE
14 years 9 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...