MobiGUITAR - A Tool for Automated Model-Based Testing of Mobile Apps
Coverage criteria for GUI testing