Improvement of Assertion-Based Verification through the generation of proper test sequences.
Laurence PierreLaila DamriPublished in: FDL (2011)
Keyphrases
- test sequences
- test generation
- test cases
- bit rate
- video sequences
- mutation testing
- static analysis
- model checking
- significant improvement
- generation process
- formal verification
- feature extraction
- knowledge management
- three dimensional
- feature selection
- learning algorithm
- data sets
- fingerprint verification
- asynchronous circuits
- real time