SAT-Based Generation of Compressed Skewed-Load Tests for Transition Delay Faults.
Roland DobaiMarcel BalázPublished in: DSD (2011)
Keyphrases
- test cases
- data structure
- fault diagnosis
- answer set programming
- data compression
- bounded model checking
- highly skewed
- generation process
- fault detection
- statistical tests
- data distribution
- class distribution
- model based diagnosis
- test suite
- compressed domain
- ai planning
- load balancing
- fault model
- constraint satisfaction problems
- neural network