Automated test generation for detection of leaks in Android applications
Targeted and depth-first exploration for systematic testing of android apps