5159 search results - page 44 / 1032 » Structural Testing of Executables |
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
ITC
2003
IEEE
14 years 4 months ago
2003
IEEE
At-speed test has become a requirement in IC technologies below 180 nm. Unfortunately, test mode switching activity and IR-drop present special challenges to the successful applic...
GECCO
2008
Springer
14 years 2 days ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
AAAI
2008
14 years 1 months ago
2008
Adopting a decision-theoretic perspective, we investigate the problem of optimal testing of structured knowledge
ISQED
2003
IEEE
14 years 4 months ago
2003
IEEE
A structurally testable delay fault might become untestable in the functional mode of the circuit due to logic or timing constraints or both. Experimental data suggests that there...