Graph 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 …

Graph database systems (GDBs) allow efficiently storing and retrieving graph data, and
have become the critical component in many applications, eg, knowledge graphs, social …

The testing is an integral part of the software development. At the same time, the manual
creation of individu-al test cases is a lengthy and error-prone process. Hence, an intensive …

Database Management Systems (DBMSs) utilize transactions to ensure the consistency and
integrity of data. Incorrect transaction implementations in DBMSs can lead to severe …

Debugging performance anomalies in databases is challenging. Causal inference
techniques enable qualitative and quantitative root cause analysis of performance …

Static bug finders (also known as static code analyzers, eg, Find-Bugs, SonarQube) have
been widely-adopted by developers to find bugs in real-world software projects. They …

A test oracle determines whether a system behaves correctly for a given input. Automatic
testing techniques rely on an automated test oracle to test the system without user …

Storing information in a software system is challenging, especially in the cloud computing
era. Traditional, battle-tested methods, like Object Relational Mapping, seem inappropriate …

DBMSs (Database Management Systems) are essential in modern enterprise software.
Thus, ensuring the correctness of DBMSs is critical for enterprise applications. Among …

Abstract Knowledge graphs (KG) can aggregate data and make information resources
easier to calculate and understand. With tremendous advancements in knowledge graphs …