Scalable race detection for Android applications

Pavol Bielik, Veselin Raychev, Martin T. Vechev. Scalable race detection for Android applications. In Jonathan Aldrich, Patrick Eugster, editors, Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015. pages 332-348, ACM, 2015. [doi]

Abstract

Abstract is missing.