Delay Test Generation with All Reachable Output Propagation and Multiple Excitations. - Bhushan Vaidya; Mehdi Baradaran Tahoori (DFT, 2005)