Differentially Testing Database Transactions for Fun and Profit-Reference-Cited by-同舟云学术

Differentially Testing Database Transactions for Fun and Profit

Published:2022-10-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Cui Ziyu¹,Dou Wensheng¹,Dai Qianwang¹,Song Jiansen¹,Wang Wei¹,Wei Jun¹,Ye Dan¹

Affiliation:

1. State Key Lab of Computer Science, Institute of Software Chinese Academy of Science, China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3551349.3556924

Reference66 articles.

1. 2022. The ANSI isolation levels. http://www.adp-gmbh.ch/ora/misc/isolation_level.html. 2022. The ANSI isolation levels. http://www.adp-gmbh.ch/ora/misc/isolation_level.html.

2. 2022. CockroachDB. https://www.cockroachlabs.com. 2022. CockroachDB. https://www.cockroachlabs.com.

3. 2022. Data Types in MariaDB. https://mariadb.com/kb/en/data-types. 2022. Data Types in MariaDB. https://mariadb.com/kb/en/data-types.

4. 2022. Data Types in MySQL. https://dev.mysql.com/doc/refman/8.0/en/data-types.html. 2022. Data Types in MySQL. https://dev.mysql.com/doc/refman/8.0/en/data-types.html.

5. 2022. Data Types in TiDB. https://docs.pingcap.com/tidb/stable/data-type-overview. 2022. Data Types in TiDB. https://docs.pingcap.com/tidb/stable/data-type-overview.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Testing Gremlin-Based Graph Database Systems via Query Disassembling;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. DBStorm: Generating Various Effective Workloads for Testing Isolation Levels;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. Differential Optimization Testing of Gremlin-Based Graph Database Systems;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27

4. Understanding Transaction Bugs in Database Systems;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

5. VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles;Electronics;2024-03-21