21183 search results - page 99 / 4237 » Adaptive Testing by Test |
110
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
134
click to vote
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the ...
125
click to vote
VTS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a test methodology to allow testing high-speed circuits with low-speed ATEs. The basic strategy is adding an interface circuit to partially supply test data, coordinate...
100
click to vote
GI
2001
Springer
15 years 8 months ago
2001
Springer
To ensure the deployment of reusable and reliable components, it is important to verify their functionality. In this paper, we present a framework for component testing, an extens...
132
Voted
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...