Software-defined networking (SDN) control message classification, verification, and optimization system.
Hyungbae ParkSejun SongBaek-Young ChoiHenry ZhuPublished in: ISSRE Workshops (2015)
Keyphrases
- decision trees
- classification accuracy
- pattern recognition
- image classification
- automatic classification
- pattern classification
- support vector machine
- computer systems
- support vector machine svm
- software development
- support vector
- supervised learning
- classification scheme
- classification method
- feature space
- optimization algorithm
- decision rules
- software tools
- feature extraction
- control system
- feature vectors
- data sets
- software systems
- model checking
- optimization problems
- classification models
- distributed computing
- signature verification
- formal verification