1682 search results - page 75 / 337 » Applying Conventional Testing Techniques for Class Testing |
136
Voted
ASPDAC
2004
ACM
15 years 9 months ago
2004
ACM
- Under manufacturing process variation, a path through a fault site is called longest for delay test if there exists a process condition under which the path has the maximum delay...
161
Voted
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
114
click to vote
VTS
2002
IEEE
15 years 8 months ago
2002
IEEE
The testing time for a system-on-chip (SOC) is determined to a large extent by the design of test wrappers and the test access mechanism (TAM). Wrapper/TAM co-optimization is ther...
242
Voted
CADE
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
151
Voted
DAC
2008
ACM
16 years 4 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...