Veselin Raychev, Martin T. Vechev, Manu Sridharan: Effective race detection for event-driven programs. OOPSLA 2013: 151-166