Jacob Savir Gary S. Ditlow Paul H. Bardell Random Pattern Testability. 79-90 1984 33 IEEE Trans. Computers 1 db/journals/tc/tc33.html#SavirDB84