Automated test generation for detection of leaks in Android applications
Guided GUI testing of android apps with minimal restart and approximate learning