2026 search results - page 269 / 406 » Tools for Test Case Generation |
156
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
152
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
159
click to vote
PDP
2003
IEEE
15 years 10 months ago
2003
IEEE
Over the last decade, a dramatic increase has been observed in the need for generating and organising data in the course of large parameter studies, performance analysis, and soft...
129
click to vote
VLSID
1998
IEEE
15 years 9 months ago
1998
IEEE
A partial scan selection strategy is proposed in which flip-flops are selected via newly proposed dynamic reachability and observability measures such that the remaining hard-to-d...
127
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...