Skip to content

Sound regular expression semantics for dynamic symbolic execution of JavaScript.

Blake Loring, Duncan Mitchell, Johannes Kinder

VenueA*PLDI
Year2019
ProceedingsPLDI

Browse the full PLDI paper archive.