180 search results - page 1 / 36 » Pruning the Search Space in Path-Based Test Generation |
ICST
2009
IEEE
13 years 12 months ago
2009
IEEE
DAC
1994
ACM
13 years 9 months ago
1994
ACM
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
ATVA
2007
Springer
13 years 11 months ago
2007
Springer
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation ...
ICST
2009
IEEE
13 years 12 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
ASPDAC
2005
ACM
13 years 10 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 ...