External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

JaVerT 2.0: compositional symbolic execution for JavaScript

José Fragoso Santos, Petar Maksimovic, Gabriela Sampaio, Philippa Gardner. JaVerT 2.0: compositional symbolic execution for JavaScript. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

Authors

José Fragoso Santos

This author has not been identified. Look up 'José Fragoso Santos' in Google

Petar Maksimovic

This author has not been identified. Look up 'Petar Maksimovic' in Google

Gabriela Sampaio

This author has not been identified. Look up 'Gabriela Sampaio' in Google

Philippa Gardner

This author has not been identified. Look up 'Philippa Gardner' in Google
runs on