Generating test cases to expose concurrency bugs in Android applications
Guided GUI testing of android apps with minimal restart and approximate learning