MobiGUITAR: Automated Model-Based Testing of Mobile Apps