Pavol Bielik, Veselin Raychev, Martin T. Vechev
Scalable race detection for Android applications
OOPSLA, 2015.
@inproceedings{OOPSLA-2015-BielikRV,
author = "Pavol Bielik and Veselin Raychev and Martin T. Vechev",
booktitle = "{Proceedings of the 30th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/2814270.2814303",
isbn = "978-1-4503-3689-5",
pages = "332--348",
publisher = "{ACM}",
title = "{Scalable race detection for Android applications}",
year = 2015,
}