Published June 4, 2020
| Version v1
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
(97.1 MB)
Name | Size | Download all |
---|---|---|
md5:b2733e3b7745840bea3b2dc0ad85e395
|
254.0 kB | Download |
md5:87b9293cf95dc7053182854a72399bd3
|
159 Bytes | Preview Download |
md5:9402325ee6a19171a69c56f75468cc3d
|
3.3 kB | Preview Download |
md5:26ec25e5d45825d577c940a918f1bd93
|
1.1 kB | Preview Download |
md5:28443c405823a771e95be80b8d039b88
|
1.2 MB | Preview Download |
md5:b4d33958f667320d3c8c5fbde781b24f
|
5.5 kB | Preview Download |
md5:fc1f92ddbc671125913847f8d450b332
|
5.8 MB | Preview Download |
md5:60a11a31c4682390f3f40381fa8ac8b1
|
1.8 kB | Preview Download |
md5:ec5fa467ab7b01b93520117c7d86e68c
|
89.9 MB | Preview Download |