Published June 4, 2020 | Version v2
Other Open

ESEC/FSE 20 Artifact for "Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction"

  • 1. ETH Zurich

Description

The artifact consists of two main components:

1. SQLancer, the tool which we created, and in which we implemented NoREC, to find all bugs reported in the associated paper.
2. A SQLite database with a list of bugs that we reported and additional meta information.
 

Files

CONTACT.md

Files (96.0 MB)

Name Size Download all
md5:576d083f6179076eeaab4046abc7d907
254.0 kB Download
md5:87b9293cf95dc7053182854a72399bd3
159 Bytes Preview Download
md5:a0c146e39946f51cffe58de5e02da8e3
4.3 kB Preview Download
md5:26ec25e5d45825d577c940a918f1bd93
1.1 kB Preview Download
md5:a3176b82dcf6988810e5a05afdfd9ebc
5.4 kB Preview Download
md5:bd70e9d9ee898f659fc6680ede646c68
5.8 MB Preview Download
md5:ec5fa467ab7b01b93520117c7d86e68c
89.9 MB Download