Published August 28, 2020 | Version review
Software Open

OSDI 20 Artifact for "Testing Database Engines via Pivoted Query Synthesis"

  • 1. ETH Zurich

Description

The artifact consists of two main components:

  1. 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.
  2. 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