Artifact for "Pisco: An lsolation Bug CaseReduction and Deduplication Framework"

This is the dataset for the paper "Pisco: An lsolation Bug CaseReduction and Deduplication Framework". All of these are bug cases discovered while testing database systems for isolation-level anomalies. These cases can be reduced by Pisco, the tool proposed in our paper, and we hope they will be helpful for future work in database testing. The dataset comprises approximately 600 isolation-level anomalies collected from three popular database management systems (DBMSs): MySQL, MariaDB and TiDB. A detailed breakdown of the bug cases can be found in Detail.xlsx.本数据集为论文《Pisco：一种隔离级错误归约与去重框架》的配套数据集。本数据集收录了在测试数据库系统隔离级异常过程中发现的全部错误用例。本论文提出的工具Pisco可对这些错误用例进行归约处理，我们期望该数据集能够为数据库测试领域的后续研究提供助力。本数据集共包含约600个隔离级异常用例，采集自三款主流数据库管理系统（DBMS）：MySQL、MariaDB与TiDB。错误用例的详细明细可查阅Detail.xlsx文件。