ExpoSE: Practical Symbolic Execution of Standalone JavaScript. / Loring, Blake; Mitchell, Duncan; Kinder, Johannes.
SPIN 2017 : Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. ACM, 2017. p. 196–199.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 607 KB, PDF-document
Original language | English |
---|---|
Title of host publication | SPIN 2017 |
Subtitle of host publication | Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software |
Publisher | ACM |
Pages | 196–199 |
Number of pages | 4 |
ISBN (Electronic) | 978-1-4503-5077-8 |
DOIs | |
State | Published - 13 Jul 2017 |
Event | Int. SPIN Symposium on Model Checking Software - |
Conference | Int. SPIN Symposium on Model Checking Software |
---|---|
Abbreviated title | SPIN 2017 |
Period | 13/07/17 → … |
Internet address |
Project: Research
Project: Research
ID: 28136035