Improvement of Assertion-Based Verification through the generation of proper test sequences. - Laurence Pierre; Laila Damri (FDL, 2011)