303 search results - page 1 / 61 » Robust Test Generation and Coverage for Hybrid Systems |
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
GECCO
2009
Springer
13 years 9 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
ETS
2009
IEEE
2009
IEEE
Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques
13 years 2 months ago
Due to the increased speed in modern designs, testing for delay faults has become an important issue in the postproduction test of manufactured chips. A high fault coverage is nee...
FM
2001
Springer
13 years 9 months ago
2001
Springer
