1. Sequential circuit diagnosis based on formal verification techniques;Cabodi,1992
2. Diagnosis oriented test pattern generation;Camurati,1990
3. DIATEST: a fast diagnostic test pattern generator for combinational circuits;Grüning,1991
4. Fault diagnosis in sequential circuits based on an effect-cause analysis;Abramovici,1980
5. Critical path tracing-an alternative to fault simulation;Abramovici,1983