Counterexample classification.
Cole VickEunsuk KangStavros TripakisPublished in: Softw. Syst. Model. (2024)
Keyphrases
- pattern recognition
- support vector
- model checking
- classification algorithm
- automated classification
- feature extraction
- training samples
- classification scheme
- classification models
- benchmark data sets
- pattern classification
- benchmark datasets
- support vector machine svm
- text classification
- support vector machine
- feature vectors
- classification accuracy
- bayesian networks
- machine learning
- classification systems
- feature selection
- incremental learning
- classification method
- svm classifier
- preprocessing
- class labels
- machine learning methods
- case study
- decision trees
- feature space
- image processing
- document classification
- training set
- data mining
- correct classification
- image classification