Stateless Model Checking of Event-Driven Applications
METADATA ONLY
Loading...
Author / Producer
Date
2015-10
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
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)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Model checking; Partial order reduction; Data races; Web applications; Event-driven applications