Yongjian Hu, Iulian Neamtiu, Arash Alavi. Automatically verifying and reproducing event-based races in Android apps. In Andreas Zeller, Abhik Roychoudhury, editors, Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016. pages 377-388, ACM, 2016. [doi]
Abstract is missing.