Learning analysis strategies for octagon and context sensitivity from labeled data generated by static analyses.
Kihong HeoHakjoo OhHongseok YangPublished in: Formal Methods Syst. Des. (2018)
Keyphrases
- labeled data
- supervised learning
- active learning
- semi supervised learning
- learning algorithm
- labeled and unlabeled data
- semi supervised
- unlabeled data
- prior knowledge
- supervised learning algorithms
- learning process
- domain adaptation
- background knowledge
- reinforcement learning
- training data
- text classification
- feature engineering
- learning problems
- unsupervised learning
- sample selection bias
- learning tasks
- transferring knowledge
- co training
- transfer learning
- training set
- data analysis
- feature extraction