Soo Young Lee Kewal K. Saluja Efficient Test Vectors for ISCAS Sequential Benchmark Circuits. 1511-1514 1993 ISCAS db/conf/iscas/iscas1993-3.html#LeeS93a