Techniques for Reducing the Number of Decisions and Backtracks in Combinational Test Generation

Zohair Sahraoui, Francky Catthoor, Paul Six, Hugo De Man. Techniques for Reducing the Number of Decisions and Backtracks in Combinational Test Generation. J. Electronic Testing, 12(3):217-238, 1998. [doi]

Abstract

Abstract is missing.