21183 search results - page 353 / 4237 » Adaptive Testing by Test |
161
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we propose a test compaction method for path delay faults in a logic circuit. The method generates a compact set of two-pattern tests for faults on long paths select...
125
click to vote
EDM
2010
15 years 8 months ago
2010
This paper proposes a new construction method of multiple test forms that applies a Bees Algorithm and a parallel computation technique to improve the computational costs of the tr...
200
click to vote
PTS
2008
15 years 8 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
185
click to vote
PST
2004
15 years 8 months ago
2004
Syntax-based vulnerability testing is a static black-box testing method for protocol implementations. It involves testing the Implementation Under Test (IUT) with a large number o...
155
click to vote
PTS
2003
15 years 8 months ago
2003
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test ...