DMCA

State Pruning for Test Vector Generation for a Multiprocessor Cache Coherence Protocol

by Ying Chen , Dennis Abts , David J. Lilja