A Search Space Pruning Method for Test Pattern Generation using Search State Dominance

Takayuki Fujino, Hideo Fujiwara. A Search Space Pruning Method for Test Pattern Generation using Search State Dominance. Journal of Circuits, Systems, and Computers, 3(4):859, 1993. [doi]