Symbolic Execution for JavaScript

Authors

  • José Fragoso Santos
  • Petar Maksimovic
  • Théotime Grohens
  • Julian Dolby
  • Philippa Gardner

Venue

Principles and Practice of Declarative Programming (PPDP) 2018

Publication Date

Sep 2018

Identifiers

Source Materials