Stateless Model Checking of Event-Driven Applications

Casper Svenning Jensen; Anders Møller; Veselin Raychev; Dimitar Dimitrov; Martin Vechev

doi:10.1145/2814270.2814282

Stateless Model Checking of Event-Driven Applications

Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin Vechev

Department of Computer Science

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

33 Citations (Scopus)

Original language	English
Title of host publication	OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Number of pages	17
Publisher	Association for Computing Machinery
Publication date	2015
Pages	57-73
ISBN (Print)	978-1-4503-3689-5
DOIs	https://doi.org/10.1145/2814270.2814282
Publication status	Published - 2015
Event	ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications - , United States Duration: 21 Oct 2015 → …

Conference

Conference	ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications
Country/Territory	United States
Period	21/10/2015 → …

Series	ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications

Access to Document

10.1145/2814270.2814282

Cite this

Jensen, Casper Svenning ; Møller, Anders ; Raychev, Veselin et al. / Stateless Model Checking of Event-Driven Applications. OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Association for Computing Machinery, 2015. pp. 57-73 (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

@inproceedings{62a3adab3209438a9f21176bf5426dc4,

title = "Stateless Model Checking of Event-Driven Applications",

author = "Jensen, {Casper Svenning} and Anders M{\o}ller and Veselin Raychev and Dimitar Dimitrov and Martin Vechev",

year = "2015",

doi = "10.1145/2814270.2814282",

language = "English",

isbn = "978-1-4503-3689-5",

series = "ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications",

pages = "57--73",

booktitle = "OOPSLA 2015",

publisher = "Association for Computing Machinery",

address = "United States",

note = "ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications ; Conference date: 21-10-2015",

}

Jensen, CS , Møller, A, Raychev, V, Dimitrov, D & Vechev, M 2015, Stateless Model Checking of Event-Driven Applications. in OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Association for Computing Machinery, ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications, pp. 57-73, ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, United States, 21/10/2015. https://doi.org/10.1145/2814270.2814282

Stateless Model Checking of Event-Driven Applications. / Jensen, Casper Svenning ; Møller, Anders; Raychev, Veselin et al.
OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Association for Computing Machinery, 2015. p. 57-73 (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Stateless Model Checking of Event-Driven Applications

AU - Jensen, Casper Svenning

AU - Møller, Anders

AU - Raychev, Veselin

AU - Dimitrov, Dimitar

AU - Vechev, Martin

PY - 2015

Y1 - 2015

UR - http://cs.au.dk/~amoeller/papers/r4/

U2 - 10.1145/2814270.2814282

DO - 10.1145/2814270.2814282

M3 - Article in proceedings

SN - 978-1-4503-3689-5

T3 - ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications

SP - 57

EP - 73

BT - OOPSLA 2015

PB - Association for Computing Machinery

T2 - ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications

Y2 - 21 October 2015

ER -

Jensen CS , Møller A, Raychev V, Dimitrov D, Vechev M. Stateless Model Checking of Event-Driven Applications. In OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications . Association for Computing Machinery. 2015. p. 57-73. (ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications). doi: 10.1145/2814270.2814282

Stateless Model Checking of Event-Driven Applications

Conference

Access to Document

Other files and links

Cite this