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"
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 | Preview Download |