1722 search results - page 54 / 345 » Generating Tests from Counterexamples |
DAC
2000
ACM
15 years 10 months ago
2000
ACM
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
Automated cost-effective test strategies are needed to provide reliable, secure, and usable web applications. As a software maintainer updates an application, test cases must accu...
ICCD
2004
IEEE
15 years 6 months ago
2004
IEEE
Functional verification of systems is aimed at validating the integration of previously verified components. It deals with complex designs, and invariably suffers from scarce re...
FAC
2008
2008
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
14 years 9 months ago
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
EUROCAST
2009
Springer
15 years 4 months ago
2009
Springer
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...