Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification.
Nyasha MasambaKerstin EderTim BlackmorePublished in: CoRR (2022)
Keyphrases
- supervised learning
- test generation
- test suite
- information systems
- learning tasks
- code coverage
- learning algorithm
- selection algorithm
- model checking
- labeled data
- semi supervised
- training data
- unsupervised learning
- generalization error
- training set
- reinforcement learning
- training samples
- learning problems
- formal verification
- verification method