10715 search results - page 252 / 2143 » Proofs from Tests |
182
click to vote
AMOST
2005
ACM
16 years 7 days ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
146
click to vote
FATES
2004
Springer
16 years 2 days ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
165
Voted
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
A unified approach to fault simulation for FGDs is introduced. Instead of a direct fault simulation, the proposed approach calculates indirectly from the simulator output the set...
137
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
The testability of basic DSP datapath structures using pseudorandom built-in self-test techniques is examined. The addition of variance mismatched signals is identified as a testi...
180
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
The increasing complexity of system-on-chip (SOC) integrated circuits has spurred the development of versatile automatic test equipment (ATE) that can simultaneously drive differe...