Automating behavioral analysis for mobile apps By Michael and Pradeep