Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Systematic Generation of Conformance Tests for JavaScript   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 on the natural language specification for
differentiating behaviors, while hidden implementation details can also affect
behavior and introduce divergences. We propose to generate conformance tests
through dynamic symbolic execution of polyfills, drop-in replacements for newer
JavaScript language features that are not yet widely supported. We then run
these generated tests against multiple implementations of JavaScript, using a
majority vote to identify the correct behavior. To facilitate test generation
for polyfill code, we introduce a model for structured symbolic inputs that is
suited to the dynamic nature of JavaScript. In our evaluation, we found 17
divergences in the widely used core-js polyfill and were able to increase
branch coverage in interpreter code by up to 15%. Because polyfills are
typically written even before standardization, our approach will allow to
maintain and extend standardization test suites with reduced effort.

26
The categories of this paper are: bayes-an
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
37
The categories of this paper are: supr-con
9
The categories of this paper are: nlin
2
The categories of this paper are: math
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
5
The categories of this paper are: gr-qc