A Transitive Closure Algorithm for Test Generation (1993)

by S T Chakradhar, V D Agrawal, S G Rothweiler
Venue:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems