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 | |
Publication status | Published - 13 Jul 2017 |
Event | Int. SPIN Symposium on Model Checking Software - Duration: 13 Jul 2017 → … http://conf.researchr.org/home/spin-2017 |
Conference | Int. SPIN Symposium on Model Checking Software |
---|---|
Abbreviated title | SPIN 2017 |
Period | 13/07/17 → … |
Internet address |
Project: Research
Project: Research
ID: 28136035