2 papers
cs.SE2021
Systematic Generation of Conformance Tests for JavaScript
Blake Loring, Johannes Kinder
JavaScript implementations are tested for conformance to the ECMAScript standard using a large hand-written test suite. Not only in this a tedious approach, it also relies solely o…
cs.PL2018
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…