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 (DBMSs) are used widely, and have been extensively
tested by fuzzers, which are successful in finding crash bugs. However, approaches to …

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 …

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

Language processors, such as compilers and interpreters, are indispensable in building
modern software. Errors in language processors can lead to severe consequences, like …