Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia

In the paper, we propose a new concept called \emph{Query Plan Guidance} (QPG) for testing Database Management Systems (DBMSs). QPG tackles the test case generation problem by guiding test case generation towards exploring a variety of unique query plans. QPG found more than 50 unique, previously unknown bugs in SQLite, TiDB, and CockroachDB.

Our prototype of QPG is a Java project, and we provide Dockerfiles to reproduce our three key empirical results. The artifact is archived in Zenodo: https://zenodo.org/record/7553013