Efficiently generating test vectors with state pruning.

Ying Chen, Dennis Abts, David J. Lilja

Browse the full ASPDAC paper archive.