Targeted and depth-first exploration for systematic testing of android apps
An event-flow model of gui-based applications for testing