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.