186 search results - page 2 / 38 » Using Genetic Algorithms and Dominance Concepts for Generati... |
IWANN
2009
Springer
14 years 3 days ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...
KBSE
1997
IEEE
13 years 9 months ago
1997
IEEE
In software testing, it is often desirable to find test inputs that exercise specific program features. To find these inputs by hand is extremely time-consuming, especially whe...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
There has recently been a great deal of interest in search? based test data generation, with many local and global search algorithms being proposed. However, to date, there has be...
LCTRTS
1999
Springer
13 years 9 months ago
1999
Springer
Code space is a critical issue facing designers of software for embedded systems. Many traditional compiler optimizations are designed to reduce the execution time of compiled cod...
ATS
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper aims at broadening the scope of hierarchical ATPG to the behavioral-level The main problem of using behavioral information for ATPG is the mismatch of timing models bet...