Guided, Stochastic Model-Based GUI Testing of Android Apps

Example app models

1. the app Bites (a cook book app)
 
2. the app MunchLife (a counter game app)
 
3. the app aLogcat (view the messages from adb logcat)
 
4. the app AnyCut (create shortcuts)
 
 
5. the app Tippy (compute tips)