4299 search results - page 92 / 860 » Concurrent Test Generation |
105
click to vote
IIWAS
2008
15 years 4 months ago
2008
Distributed development of software has turned into a natural and modern approach where teams spread over the world cooperate to develop a software product, and this has become po...
213
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
100
Voted
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
- This paper extends the depth first search (DFS) used in the previously proposed witness string method for generating efficient test vectors. A state pruning method is added that ...
146
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
96
Voted
ICCD
2006
IEEE
15 years 11 months ago
2006
IEEE
—X-filling is preferred for low-capture-power scan test generation, since it reduces IR-drop-induced yield loss without the need of any circuit modification. However, the effecti...