Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets.
Sohil L. ShresthaSaroj PandaChristoph CsallnerPublished in: RAISE@ICSE (2018)
Keyphrases
- machine learning
- symbolic execution
- machine learning algorithms
- machine learning methods
- decision trees
- feature selection
- social media
- test data generation
- artificial intelligence
- training set
- static analysis
- learning algorithm
- training data
- specification language
- test generation
- search algorithm
- test set
- neural network