The paper Stateless Model Checking of Event-Driven Applications is accepted at OOPSLA'15