Stateless model checking of event-driven applications.

Casper Svenning Jensen, Anders Mller, Veselin Raychev, Dimitar Dimitrov, Martin T. Vechev

Browse the full OOPSLA paper archive.