Automation and Optimization of Coverage-driven Verification.

Marcela Simkov, Zdenek Kotsek

Browse the full DSD paper archive.