PODEM-X: An automatic test generation system for VLSI logic structures. - Prabhakar Goel; Barry C. Rosales (DAC, 1981)