Effective race detection for event-driven programs

by Veselin Raychev, Martin Vechev, Manu Sridharan
Venue:In Proceedings of the 2013 ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA ’13