Methods for Dynamic Test Vector compaction in Sequential Test Generation. - Timothy John Lambert; Kewal K. Saluja (VLSI Design, 1996)