Program analysis with risk-based classification of dynamic invariants for logical error detection.
George StergiopoulosPanayiotis KatsarosDimitris GritzalisPublished in: Comput. Secur. (2017)
Keyphrases
- error detection
- error correction
- pattern recognition
- machine learning
- classification accuracy
- classification algorithm
- image classification
- support vector machine svm
- data cleansing
- classification method
- text classification
- feature extraction
- decision making
- support vector machine
- decision trees
- error correcting
- error recovery
- class labels
- support vector
- risk factors
- error control
- feature selection