Coverage-guided test generation for continuous and hybrid systems.
Thao DangTarik NahhalPublished in: Formal Methods Syst. Des. (2009)
Keyphrases
- hybrid systems
- test generation
- code coverage
- test cases
- black box
- intelligent systems
- soft computing
- meta learning
- discrete event
- computational intelligence
- neural network
- software testing
- test suite
- static analysis
- quality assurance
- artificial intelligence
- test data
- fuzzy logic
- decision making
- data model
- simulation model
- open source
- search problems
- machine learning