Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets. - Sohil L. Shrestha; Saroj Panda; Christoph Csallner (RAISE@ICSE, 2018)