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.
Files
OSDI20_PQS_Artifact.zip
Files
(136.7 MB)
Name | Size | Download all |
---|---|---|
md5:1a833637d65c83df5d78bd85d8080242
|
136.7 MB | Preview Download |