Published August 28, 2020
| Version review
Software
Open
OSDI 20 Artifact for "Testing Database Engines via Pivoted Query Synthesis"
Description
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.