Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Testing Database Engines via Pivoted Query Synthesis   Relational databases are used ubiquitously. They are managed by database
management systems (DBMS), which allow inserting, modifying, and querying data
using a domain-specific language called Structured Query Language (SQL).
Popular DBMS have been extensively tested by fuzzers, which have been
successful in finding crash bugs. However, approaches to finding logic bugs,
such as when a DBMS computes an incorrect result set, have remained mostly
untackled. Differential testing is an effective technique to test systems that
support a common language by comparing the outputs of these systems. However,
this technique is ineffective for DBMS, because each DBMS typically supports
its own SQL dialect. To this end, we devised a novel and general approach that
we have termed Pivoted Query Synthesis. The core idea of this approach is to
automatically generate queries for which we ensure that they fetch a specific,
randomly selected row, called the pivot row. If the DBMS fails to fetch the
pivot row, the likely cause is a bug in the DBMS. We tested our approach on
three widely-used and mature DBMS, namely SQLite, MySQL, and PostgreSQL. In
total, we reported 123 bugs in these DBMS, 99 of which have been fixed or
verified, demonstrating that the approach is highly effective and general. We
expect that the wide applicability and simplicity of our approach will enable
the improvement of robustness of many DBMS.

24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
37
The categories of this paper are: supr-con
15
The categories of this paper are: nucl-ex
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
28
The categories of this paper are: alg-geom
2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc