Pseudoexhaustive Test Pattern Generator with Enhanced Fault Coverage. - P. Golan; Ondrej Novák; Jan Hlavicka (IEEE Trans. Computers, 1988)