8Cage: lightweight fault-based test generation for simulink.
Dominik HollingAlexander PretschnerMatthias GemmarPublished in: ASE (2014)
Keyphrases
- lightweight
- test generation
- fault detection
- fault diagnosis
- test cases
- symbolic execution
- test sequences
- design automation
- control system
- static analysis
- code coverage
- quality assurance
- communication infrastructure
- handheld devices
- artificial intelligence
- learning algorithm
- test set
- software development
- low cost
- test data generation
- databases
- data sets