Prioritizing the devices to test your app on: a case study of Android game apps
Dynodroid: an input generation system for Android apps