Detecting isolation bugs via transaction oracle construction

W Dou, Z Cui, Q Dai, J Song, D Wang… - 2023 IEEE/ACM 45th …, 2023 - ieeexplore.ieee.org
Transactions are used to maintain the data integrity of databases, and have become an
indispensable feature in modern Database Management Systems (DBMSs). Despite …

Testing database systems via differential query execution

J Song, W Dou, Z Cui, Q Dai, W Wang… - 2023 IEEE/ACM 45th …, 2023 - ieeexplore.ieee.org
Database Management Systems (DBMSs) provide efficient data retrieval and manipulation
for many applications through Structured Query Language (SQL). Incorrect implementations …

Randomized differential testing of RDF stores

R Yang, Y Zheng, L Tang, W Dou… - 2023 IEEE/ACM 45th …, 2023 - ieeexplore.ieee.org
As a special kind of graph database systems, RDF stores have been widely used in many
applications, eg, knowl-edge graphs and semantic web. RDF stores utilize SPARQL as their …

Understanding Transaction Bugs in Database Systems

Z Cui, W Dou, Y Gao, D Wang, J Song… - Proceedings of the …, 2024 - dl.acm.org
Transactions are used to guarantee data consistency and integrity in Database
Management Systems (DBMSs), and have become an indispensable component in DBMSs …

Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction

J Song, W Dou, Y Gao, Z Cui, Y Zheng… - Proceedings of the …, 2024 - dl.acm.org
Database Management Systems (DBMSs) are widely used to efficiently store and retrieve
data. DBMSs usually support various metadata, eg, integrity constraints for ensuring data …

Validity-Preserving Delta Debugging via Generator

L Ren, X Zhang, Z Hua, Y Jiang, X He, T Xie - arXiv preprint arXiv …, 2024 - arxiv.org
Reducing test inputs that trigger bugs is crucial for efficient debugging. Delta debugging is
the most popular approach for this purpose. When test inputs need to conform to certain …

Finding XPath Bugs in XML Document Processors via Differential Testing

S Li, M Rigger - arXiv preprint arXiv:2401.05112, 2024 - arxiv.org
Extensible Markup Language (XML) is a widely used file format for data storage and
transmission. Many XML processors support XPath, a query language that enables the …

Effective Bug Detection in Graph Database Engines: An LLM-based Approach

J Wu, Z Wu, R Li, H Qin, G Wang - arXiv preprint arXiv:2402.00292, 2024 - arxiv.org
Graph database engines play a pivotal role in efficiently storing and managing graph data
across various domains, including bioinformatics, knowledge graphs, and recommender …

[PDF][PDF] Testing Graph Database Systems via Equivalent Query Rewriting

Q Mang, A Fang, B Yu, H Chen, P He - 2024 - joyemang33.github.io
ABSTRACT Graph Database Management Systems (GDBMS), which utilize graph models
for data storage and execute queries via graph traversals, have seen ubiquitous usage in …

[PDF][PDF] Randomly generating execution plans for bug detection in Neo4j

J Bergstrand, T Åstrand - lup.lub.lu.se
Abstract In recent years, Graph Database Management Systems (GDBMS) has increased in
popularity for many use cases. One of the most popular GDBMS is Neo4j, which uses …