Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript

Blake Loring, Duncan Mitchell, Johannes Kinder

Existing support for regular expressions in automated test generation or verification tools is lacking. Common aspects of regular expression engines found in mainstream programming…