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. 217-238 1998 12 J. Electronic Testing 3 http://dx.doi.org/10.1023/A:1008224716789 db/journals/et/et12.html#SahraouiCSM98