Automatically verifying and reproducing event-based races in Android apps
DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing