A Transitive Closure Based Algorithm for Test Generation.

Srimat T. Chakradhar, Vishwani D. Agrawal

Browse the full DAC paper archive.