Effective race detection for event-driven programs.

Veselin Raychev, Martin T. Vechev, Manu Sridharan

Browse the full OOPSLA paper archive.