SmartDroid: an automatic system for revealing UI-based trigger conditions in android applications
Automated concolic testing of smartphone apps