Testing Database Systems via Differential Query Execution
We supply an artifact for our paper “Testing Database Systems via Differential Query Execution”, accepted at ICSE 2023. We apply the badges of Artifacts Evaluated—Reusable and Artifact Available—Available. We implement our approach to detect logic bugs in database management systems (DBMSs), which cause severe consequences, e.g., by querying incorrect results or modifying incorrect data. Our tool is called dqetool. Unlike previous tools that can only detect logic bugs in SELECT statements, it can also detect logic bugs in UPDATE and DELETE statements. Data manipulation statements, e.g., UPDATE and DELETE statements, usually cause severer consequences than query statements, i.e., SELECT statements. In total, we have detected 50 unique bugs in these DBMSs, 41 of which are confirmed, and 11 have been fixed. We make our artifact publicly available at https://doi.org/10.5281/zenodo.7564685.