MobiGUITAR - A Tool for Automated Model-Based Testing of Mobile Apps
Dynodroid: an input generation system for Android apps