A Design Language Based Approach to Test Sequence Generation. - Fredrick J. Hill; Ben Huey (Computer, 1977)

SCIRTSS: A Search System for Sequential Circuit Test Sequences. - Fredrick J. Hill; Ben Huey (IEEE Trans. Computers, 1977)

Guiding sensitization searches using problem reduction graphs. - Ben Huey (DAC, 1978)