A methodology for validating digital circuits with mutation testing.
Patrice VadoYvon SavariaYannick ZoccaratoChantal RobachPublished in: ISCAS (2000)
Keyphrases
- digital circuits
- mutation testing
- finite state machines
- data flow
- model based diagnosis
- test sequences
- circuit design
- database applications
- test suite
- test generation
- database
- test cases
- power consumption
- image quality
- source code
- hidden markov models
- search space
- training set
- case study
- artificial intelligence
- databases