BART: A Bridging Fault Test Generation for Sequential Circuits. - James P. Cusey; Janak H. Patel (ITC, 1997)