Improvement of Assertion-Based Verification through the generation of proper test sequences.

Laurence Pierre, Laila Damri

Browse the full FDL paper archive.