DMCA

Stateless Model Checking of Event-Driven Applications

by Casper S. Jensen , Anders Møller , Veselin Raychev , Dimitar Dimitrov , Martin Vechev