Mutation-based diagnostic test generation for hardware design error diagnosis.
Shujun DengKwang-Ting ChengJinian BianZhiqiu KongPublished in: ITC (2010)
Keyphrases
- hardware design
- test generation
- diagnostic reasoning
- model based diagnosis
- medical diagnosis
- test cases
- diagnostic tests
- differential diagnosis
- medical diagnostic
- clinically relevant
- hardware implementation
- design automation
- symbolic execution
- error rate
- fpga hardware
- static analysis
- diagnostic process
- traditional chinese medicine
- data sets
- fault diagnosis
- computer systems
- code coverage
- pattern recognition
- quality assurance
- manufacturing systems
- multi agent systems
- information systems