Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques

Stephan Eggersglüß, Rolf Drechsler. Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques. In 14th IEEE European Test Symposium, ETS 2009, Sevilla, Spain, May 25-29, 2009. pages 81-86, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.