ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal

In the paper, we propose a new concept called Cardinality Estimation Restriction Testing (CERT) for testing Database Management Systems (DBMSs). CERT found performance issues by inspecting inconsistent estimated cardinalities in query plans and found 13 unique and previously unknown bugs in MySQL, CockroachDB, and TiDB.

The artifact consists of two main components:

1) Code, the tool that we created and extended, and in which we implemented Cardinality Estimation Restriction Testing (CERT), to find all bugs reported in the paper. 2) Data, the data and reproduce documents for the key results in the paper.