Sciweavers

4299 search results - page 28 / 860
» Concurrent Test Generation
Sort
View
114
Voted
VTS
1996
IEEE
75views Hardware» more  VTS 1996»
15 years 8 months ago
A new test pattern generation method for delay fault testing
S. Cremoux, Christophe Fagot, Patrick Girard, Chri...
108
Voted
DAC
1992
ACM
15 years 8 months ago
SWiTEST: A Switch Level Test Generation System for CMOS Combinational Circuits
Kuen-Jong Lee, Charles Njinda, Melvin A. Breuer
STVR
2008
53views more  STVR 2008»
15 years 3 months ago
IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing
Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun,...
JISE
2000
71views more  JISE 2000»
15 years 3 months ago
Compact Test Generation Using a Frozen Clock Testing Strategy
Elizabeth M. Rudnick, Miron Abramovici
TAP
2009
Springer
178views Hardware» more  TAP 2009»
15 years 10 months ago
Dynamic Symbolic Execution for Testing Distributed Objects
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...