5855 search results - page 77 / 1171 » Test generation and minimization with |
101
click to vote
ETS
2006
IEEE
15 years 7 months ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
110
click to vote
ISSRE
2006
IEEE
15 years 7 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
162
click to vote
ECOOP
2000
Springer
15 years 5 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
158
click to vote
EVOW
1999
Springer
15 years 5 months ago
1999
Springer
A technique is proposed to reduce the peak power consumption of sequential circuits during test pattern application. High-speed computation intensive VLSI systems, as telecommunica...
112
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...