588 search results - page 48 / 118 » Using UML Environment Models for Test Case Generation |
162
Voted
IJSEKE
2011
14 years 6 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
110
Voted
ENTCS
2008
15 years 2 months ago
2008
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
154
Voted
HASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
128
Voted
ICCSA
2004
Springer
2004
Springer
Task Modeling in Computer Supported Collaborative Learning Environments to Adapt to Mobile Computing
15 years 8 months ago
Using the new wireless technologies, mobile devices with small displays (handhelds, PDAs, mobile phones) are present in many environments. We are interested in the effective use of...
143
Voted
TMI
2010
14 years 9 months ago
2010
We propose a nonparametric, probabilistic model for the automatic segmentation of medical images, given a training set of images and corresponding label maps. The resulting inferen...