4032401
doi
10.5281/zenodo.4032401
oai:zenodo.org:4032401
Zhendong Su
ETH Zurich
OOPSLA 20 Artifact for "Finding Bugs in Database Systems via Query Partitioning"
Manuel Rigger
ETH Zurich
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
<p>The artifact consists of two main components:</p>
<ol>
<li>
<p>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.</p>
</li>
<li>
<p>A SQLite database with a list of bugs that we reported and additional meta information.</p>
</li>
</ol>
Zenodo
2020-09-16
info:eu-repo/semantics/other
4032400
1600261174.510856
121370487
md5:6f8f22da21d976cc818c94033cf1539b
https://zenodo.org/records/4032401/files/OOPSLA20_TLP_Artifact.zip
public
10.5281/zenodo.4032400
isVersionOf
doi