Stateless Model Checking of Event-Driven Applications

Thumbnail
Metadata only
Author
Jensen, Casper S.
Moller, Anders
Raychev, Veselin
Dimitrov, Dimitar
Vechev, Martin
Show all
Date
2015-10
Type
    Conference Paper
Publication status
published
External links
Journal / series
ACM SIGPLAN Notices
Volume
50(10)
Pages / Article No.
57 - 73
Publisher
Association for Computing Machinery
Event
ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Pittsburgh, PA, USA, October 25-30, 2015
Subject
Model checking; Partial order reduction; Data races; Web applications; Event-driven applications
More
Show all metadata
Citations
Cited 33 times in Scopus
ETH Bibliography
yes
Altmetrics