MobiGUITAR: Automated Model-Based Testing of Mobile Apps
Automating GUI testing for Android applications