21183 search results - page 297 / 4237 » Adaptive Testing by Test |
158
click to vote
ITC
1991
IEEE
15 years 10 months ago
1991
IEEE
Two approaches have been used to balance the cost of generating e ective tests for ICs and the need to increase the ICs' quality level. The rst approach favorsusing high-leve...
153
click to vote
ITC
1991
IEEE
15 years 10 months ago
1991
IEEE
In diagnosing a failed system, a smart technician would choose tests to be performed based on the context of the situation. Currently, test program sets do not fault-. isolate wit...
173
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
175
click to vote
DBSEC
2008
15 years 8 months ago
2008
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
206
click to vote
PTS
2000
15 years 8 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...