Automated concolic testing of smartphone apps
Experiences of System-Level Model-Based GUI Testing of an Android Application