Detecting Isolation Bugs via Transaction Oracle Construction-Reference-Cited by-同舟云学术

Detecting Isolation Bugs via Transaction Oracle Construction

Published:2023-05 Issue: Volume: Page:
ISSN:
Container-title:2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
language:
Short-container-title:

Author:

Dou Wensheng¹,Cui Ziyu¹,Dai Qianwang¹,Song Jiansen¹,Wang Dong¹,Gao Yu¹,Wang Wei¹,Wei Jun¹,Chen Lei²,Wang Hanmo²,Zhong Hua¹,Huang Tao¹

Affiliation:

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

2. Inspur Software Group Co., Ltd.

Funder

National Key R&D Program of China

National Natural Science Foundation of China

Publisher

IEEE

Link

Reference81 articles.

Cited by 9 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. Formalization and Verification of Percolator Using CSP;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02

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