Demo Data from VLDB 2026 / reviewers in the wild / expert
Matteo Kamm
dblp:351/6928
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2023
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Software testing · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
database testing |
0.7 | 1 | 2023 | Testing Graph Database Engines via Query Partitioning · ISSTA 2023 |
Software testing › database testing
graph database testing |
0.7 | 1 | 2023 | Testing Graph Database Engines via Query Partitioning · ISSTA 2023 |
Software testing › fault detection
logic bug detection |
0.7 | 1 | 2023 | Testing Graph Database Engines via Query Partitioning · ISSTA 2023 |
Software testing
test oracle |
0.7 | 1 | 2023 | Testing Graph Database Engines via Query Partitioning · ISSTA 2023 |
Methods — techniques the papers use, named apart from their topics
query partitioning · 0.7differential testing · 0.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Testing Graph Database Engines via Query PartitioningabstractGraph Database Management Systems (GDBMSs) store data as graphs and allow the efficient querying of nodes and their relationships. Logic bugs are bugs that cause a GDBMS to return an incorrect result for a given query (e.g., by returning incorrect nodes or relationships). The impact of such bugs can be severe, as they often go unnoticed. The core insight of this paper is that Query Partitioning, a test oracle that has been proposed to test Relational Database Systems, is applicable to testing GDBMSs as well. The core idea of Query Partitioning is that, given a query, multiple queries are derived whose results can be combined to reconstruct the given query’s result. Any discrepancy in the result indicates a logic bug. We have implemented this approach as a practical tool named GDBMeter and evaluated GDBMeter on three popular GDBMSs and found a total of 40 unique, previously unknown bugs. We consider 14 of them to be logic bugs, the others being error or crash bugs. Overall, 27 of the bugs have been fixed, and 35 confirmed. We compared our approach to the state-of-the-art approach to testing GDBMS, which relies on differential testing; we found that it results in a high number of false alarms, while Query Partitioning reported actual logic bugs without any false alarms. Furthermore, despite the previous efforts in testing Neo4j and JanusGraph, we found 18 additional bugs. The developers appreciate our work and plan to integrate GDBMeter into their testing process. We expect that this simple, yet effective approach and the practical tool will be used to test other GDBMSs. Matteo Kamm, Manuel Rigger, Chengyu Zhang 0001, Zhendong Su 0001 |
ISSTA | 1 |