Gradual Diagnostic Test Generation Based on the Structural Distance between Indistinguished Fault Pairs.
Irith PomeranzSudhakar M. ReddyPublished in: DFT (2010)
Keyphrases
- test generation
- test cases
- symbolic execution
- test sequences
- design automation
- pairwise
- quality assurance
- fault isolation
- distance measure
- fault detection
- static analysis
- fault diagnosis
- mutation testing
- expert systems
- software testing
- model based diagnosis
- high quality
- case study
- diagnostic tests
- computer vision
- real world