MobiGUITAR: Automated Model-Based Testing of Mobile Apps
Guided GUI testing of android apps with minimal restart and approximate learning