488 search results - page 25 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
134
click to vote
JSS
2008
15 years 1 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
114
Voted
ENTCS
2008
15 years 3 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...
126
click to vote
FGR
2000
IEEE
15 years 7 months ago
2000
IEEE
Image variability due to changes in pose and illumination can seriously impair object recognition. This paper presents appearance-based methods which, unlike previous appearance-b...
134
click to vote
ISSTA
2000
ACM
15 years 7 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
118
Voted
ICCAD
2006
IEEE
16 years 4 days ago
2006
IEEE
We describe a transition fault model, which is easy to simulate under test sequences that are applied at-speed, and provides a target for the generation of at-speed test sequences...