Generating test cases to expose concurrency bugs in Android applications
Leveraging existing tests in automated test generation for web applications