Functional Verification of RTL Designs driven by Mutation Testing metrics.
Youssef SerrestouVincent BeroulleChantal RobachPublished in: DSD (2007)
Keyphrases
- functional verification
- mutation testing
- test sequences
- test generation
- database applications
- test suite
- integration testing
- training data
- computational complexity
- testing process
- formal verification
- ad hoc networks
- hardware software
- software testing
- neural network
- software systems
- error rate
- image quality
- hidden markov models
- image sequences
- database systems