Testing and Monitoring Model-based Generated Program.
Li TanJesung KimInsup LeePublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- test cases
- symbolic execution
- real time
- data mining
- monitoring system
- set of test cases
- concurrent programs
- automatically generating
- test suite
- test set
- databases
- anomaly detection
- decision support
- data acquisition
- control system
- software testing
- early warning
- information retrieval
- test generation
- fully unsupervised
- test data generation
- machine learning
- data sets