Symbolic Execution for JavaScript

Authors

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

Venue

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 11:1–11:14

Publication Date

Sep 2018

Identifiers

Source Materials