Data management is indispensable for informed decision-making in the big data era. In the
meantime, Large Language Models (LLMs), equipped with billions of model parameters and …

Fuzzing is an increasingly popular technique for verifying software functionalities and finding
security vulnerabilities. However, current mutation-based fuzzers cannot effectively test …

Logic bugs in Database Management Systems (DBMSs) are bugs that cause an incorrect
result for a given query, for example, by omitting a row that should be fetched. These bugs …

Database Management Systems (DBMS) are used ubiquitously. To efficiently access data,
they apply sophisticated optimizations. Incorrect optimizations can result in logic bugs, which …

Fuzzing is a promising approach to DBMS testing. One crucial component in DBMS fuzzing
is grammar: since DBMSs enforce strict validation on inputs, a grammar improves fuzzing …

FoundationDB is an open source transactional key value store created more than ten years
ago. It is one of the first systems to combine the flexibility and scalability of NoSQL …

Database management systems (DBMSs) are critical components of modern data-intensive
applications. Developers have adopted many testing techniques to detect DBMS bugs such …

Database systems are widely used to store and query data. Test oracles have been
proposed to find logic bugs in such systems, that is, bugs that cause the database system to …

Database management systems (DBMSs) are essential parts of modern software. To ensure
the security of DBMSs, recent approaches apply fuzzing to testing DBMSs by automatically …

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