Finding bugs in Gremlin-based graph database systems via Randomized differential testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, Jun Wei
Abstract
Graph database systems (GDBs) allow efficiently storing and retrieving graph data, and have become the critical component in many applications, e.g., knowledge graphs, social networks, and fraud detection. It is important to ensure that GDBs operate correctly. Logic bugs can occur and make GDBs return an incorrect result for a given query. These bugs are critical and can easily go unnoticed by developers when the graph and queries become complicated. Despite the importance of GDBs, logic bugs in GDBs have received less attention than those in relational database systems.
Topics & Concepts
Computer scienceGraph databaseGraphRelational databaseTheoretical computer scienceDatabaseProgramming languageSoftware Testing and Debugging TechniquesDistributed systems and fault toleranceGraph Theory and Algorithms