Crowdsourcing program preconditions via a classification game.
Daniel FavaDaniel G. ShapiroJoseph C. OsbornMartin SchäfE. James Whitehead Jr.Published in: ICSE (2016)
Keyphrases
- machine learning
- classification accuracy
- pattern recognition
- automatic classification
- training set
- image classification
- classification method
- video games
- model selection
- text classification
- feature extraction
- decision trees
- feature selection
- game playing
- explanation based learning
- classification systems
- classification scheme
- support vector machine svm
- classification algorithm
- machine learning methods
- svm classifier
- class labels
- data sets
- training samples
- supervised learning
- game theoretic
- training data
- human computation
- perfect information