Published April 24, 2023 | Version v1
Software Open

OSDI 2023 Artifact for Paper "Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction"

Creators

  • 1. ETH Zurich
  • 2. National University of Singapore

Description

The artifact consists of two main components:

  1. The source code of TxCheck, the tool where we implemented the approaches described in the paper. We used it to find all bugs reported in the paper. It also contains a README that describes how to evaluate the tool.

  2. A video that introduces the artifact.

Files

OSDI23_AE_TxCheck.zip

Files (120.4 MB)

Name Size Download all
md5:c1f0b0eeeeefa685f735219e718e12cb
120.4 MB Preview Download