Scalable race detection for Android applications.

Pavol Bielik, Veselin Raychev, Martin T. Vechev

Browse the full OOPSLA paper archive.