MobiGUITAR - A Tool for Automated Model-Based Testing of Mobile Apps
Experiences of System-Level Model-Based GUI Testing of an Android Application