The paper Stateless Model Checking of Event-Driven Applications is accepted at OOPSLA'15 10 August 2015 by Jan Rasul Frederiksen Read the abstract OOPSLA'15 website