2026 search results - page 222 / 406 » Tools for Test Case Generation |
152
click to vote
DATE
2002
IEEE
15 years 10 months ago
2002
IEEE
The problem of fault grading for multiple path delay faults is studied and a method of obtaining the exact coverage is presented. The faults covered are represented and manipulate...
167
Voted
VRST
2000
ACM
15 years 9 months ago
2000
ACM
In this paper we present a new framework in Augmented Reality context for rapid evaluation of prototypes before manufacture. The design of such prototypes is a time consuming proc...
168
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
136
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
Fuzzing is a well-known black-box approach to the security testing of applications. Fuzzing has many advantages in terms of simplicity and effectiveness over more complex, expensi...
143
click to vote
DDECS
2006
IEEE
15 years 11 months ago
2006
IEEE
- Extension of a BIST design algorithm is proposed in this paper. The method is based on a synthesis of a combinational block - the decoder, transforming pseudo-random code words i...