Software Open Access
Manuel Rigger; Zhendong Su
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.