MobiGUITAR: Automated Model-Based Testing of Mobile Apps
Automated concolic testing of smartphone apps