A Transitive Closure Algorithm for Test Generation (1993)

by Srimat T Chakradar, Vishvani D Agrawal, Steven G Rothweiler
Venue:IEEE Transactions on Computer–Aided Design of Integrated Circuits