Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
ExpoSE: Practical Symbolic Execution of Standalone JavaScript
Collection title:
SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Collection subtitle:
Santa Barbara, CA, USA — July 13 - 14, 2017
Conference title:
ACM SIGSOFT International SPIN Symposium on Model Checking of Software (24., 2017, Santa Barbara, CA)
Venue:
Santa Barbara, CA
Year of conference:
2017
Date of conference beginning:
13.07.2016
Date of conference ending:
14.07.2017
Place of publication:
New York, NY
Publisher:
ACM
Year:
2017
Pages from - to:
196-199
Language:
Englisch
ISBN:
978-1-4503-5077-8
Open Access yes or no?:
Ja / Yes
BibTeX