Experiences of System-Level Model-Based GUI Testing of an Android Application | IEEE Conference Publication | IEEE Xplore