Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification.
Nyasha MasambaKerstin EderTim BlackmorePublished in: AITest (2022)
Keyphrases
- supervised learning
- test generation
- test suite
- test cases
- unsupervised learning
- machine learning
- training set
- set of test cases
- neural network
- learning tasks
- semi supervised
- real world
- face verification
- software testing
- learning algorithm
- learning problems
- model checking
- training data
- reinforcement learning
- test data
- feature selection
- selection algorithm
- statistical learning
- multiple instance learning
- text classification
- object recognition
- signature verification
- formal verification
- genetic algorithm
- active learning