MobiGUITAR: Automated Model-Based Testing of Mobile Apps | IEEE Journals & Magazine | IEEE Xplore