Sound regular expression semantics for dynamic symbolic execution of JavaScript.

Blake Loring Duncan Mitchell Johannes Kinder

Published in: PLDI (2019)

Keyphrases

metadata
regular expressions
symbolic execution
static analysis
xml schema
pattern matching
finite automata
specification language
open source
source code
integrity constraints
artificial intelligence
query language
test data generation
conceptual model
query containment