OSDI 20 Artifact for "Testing Database Engines via Pivoted Query Synthesis"
Manuel Rigger, Zhendong Su · Zenodo (CERN European Organization for Nuclear Research) · 2020
The artifact consists of two main components: SQLancer, the tool which we created and extended, and in which we implemented Pivoted Query Synthesis (PQS), to find all bugs reported in the paper. A SQLite database with a list of bugs that we reported and additional meta information.