JaVerT 2.0: compositional symbolic execution for JavaScript (Q131109921)
scientific article published on 04 January 2019
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | JaVerT 2.0: compositional symbolic execution for JavaScript |
scientific article published on 04 January 2019 |
Statements
1 reference
JaVerT 2.0: compositional symbolic execution for JavaScript (English)
1 reference
José Fragoso Santos
1 reference
Petar Maksimović
1 reference
Gabriela Sampaio
1 reference
Philippa Gardner
1 reference
4 January 2019
1 reference
3
1 reference
POPL
1 reference
1-31
1 reference
Identifiers
1 reference
