An Experimental Batch Plant as a Test Case for the Verification of Hybrid Systems.
Stefan KowalewskiOlaf StursbergNanette BauerPublished in: Eur. J. Control (2001)
Keyphrases
- hybrid systems
- test cases
- black box
- test generation
- test data
- software testing
- test suite
- intelligent systems
- computational intelligence
- regression testing
- test case generation
- set of test cases
- test case selection
- neural network
- discrete event
- meta learning
- test data generation
- soft computing
- control system
- number of test cases
- test set
- test suite reduction
- artificial intelligence
- object oriented
- testing process
- metamodel
- learning tasks
- semi supervised
- database systems