4299 search results - page 37 / 860 » Concurrent Test Generation |
ENTCS
2007
15 years 2 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
109
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
110
click to vote
FMOODS
2006
15 years 3 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
107
click to vote
MEMOCODE
2010
IEEE
15 years 7 days ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
122
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Existing built-in self test (BIST) strategies require the use of specialized test pattern generation hardware which introduces signi cant area overhead and performance degradation...