Fault simulation and test generation for clock delay faults.
Yoshinobu HigamiHiroshi TakahashiShin-ya KobayashiKewal K. SalujaPublished in: ASP-DAC (2011)
Keyphrases
- test generation
- test cases
- fault diagnosis
- fault detection
- mutation testing
- fault model
- multiple faults
- test sequences
- software testing
- design automation
- quality assurance
- static analysis
- fault detection and isolation
- discrete event
- symbolic execution
- control system
- neural network
- database
- power plant
- quality control
- test set
- condition monitoring
- object oriented
- code coverage
- case study
- databases