27 citations · 27 across the 2 of their papers we have counts for
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★ 27 cited
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…