Automatically verifying and reproducing event-based races in Android apps
A cross-platform analysis of bugs and bug-fixing in open source projects: desktop vs. Android vs. iOS