MaMaDroid: Detecting Android Malware by Building Markov Chains of Behavioral Models
Automated concolic testing of smartphone apps