DMCA

State Pruning for Generating Efficient Test Vectors

Cached

Download Links

by Ying Chen , Dennis Abts , David J. Lilja