Sciweavers

4299 search results - page 28 / 860
» Concurrent Test Generation
Sort
View
VTS
1996
IEEE
75views Hardware» more  VTS 1996»
14 years 18 days ago
A new test pattern generation method for delay fault testing
S. Cremoux, Christophe Fagot, Patrick Girard, Chri...
STVR
2008
53views more  STVR 2008»
13 years 8 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»
13 years 8 months ago
Compact Test Generation Using a Frozen Clock Testing Strategy
Elizabeth M. Rudnick, Miron Abramovici
TAP
2009
Springer
178views Hardware» more  TAP 2009»
14 years 3 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...