OOPSLA 20 Artifact for "Finding Bugs in Database Systems via Query Partitioning"
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 Ternary Logic Partitioning (TLP), to find all bugs reported in the paper. A SQLite database with a list of bugs that we reported and additional meta information.