Experiences of System-Level Model-Based GUI Testing of an Android Application
An event-flow model of gui-based applications for testing