Behavioral Analysis of Android Applications Using Automated Instrumentation
Experiences of System-Level Model-Based GUI Testing of an Android Application