Manuel Rigger
YOU?
Author Swipe
View article: Flexible and Expressive Typed Path Patterns for GQL
Flexible and Expressive Typed Path Patterns for GQL Open
Graph databases have become an important data management technology across various domains, including biology, sociology, industry (e.g. fraud detection, supply chain management, financial services), and investigative journalism, due to th…
View article: Finding Logic Bugs in Graph-processing Systems via Graph-cutting
Finding Logic Bugs in Graph-processing Systems via Graph-cutting Open
Graph-processing systems, including Graph Database Management Systems (GDBMSes) and graph libraries, are designed to analyze and manage graph data efficiently. They are widely used in applications such as social networks, recommendation sy…
View article: Testing Database Systems with Large Language Model Synthesized Fragments
Testing Database Systems with Large Language Model Synthesized Fragments Open
Various automated testing approaches have been proposed for Database Management Systems (DBMSs). Many such approaches generate pairs of equivalent queries to identify bugs that cause DBMSs to compute incorrect results, and have found hundr…
View article: On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations Open
Deep Reinforcement Learning (DRL) is a paradigm of artificial intelligence where an agent uses a neural network to learn which actions to take in a given environment. DRL has recently gained traction from being able to solve complex enviro…
View article: Scaling Automated Database System Testing
Scaling Automated Database System Testing Open
Recently, various automated testing approaches have been proposed that use specialized test oracles to find hundreds of logic bugs in mature, widely-used Database Management Systems (DBMSs). These test oracles require database and query ge…
View article: Constant Optimization Driven Database System Testing
Constant Optimization Driven Database System Testing Open
Logic bugs are bugs that can cause database management systems (DBMSs) to silently produce incorrect results for given queries. Such bugs are severe, because they can easily be overlooked by both developers and users, and can cause applica…
View article: Enhanced Differential Testing in Emerging Database Systems
Enhanced Differential Testing in Emerging Database Systems Open
In recent years, a plethora of database management systems have surfaced to meet the demands of various scenarios. Emerging database systems, such as time-series and streaming database systems, are tailored to specific use cases requiring …
View article: Finding Logic Bugs in Spatial Database Engines via <i>Affine Equivalent Inputs</i>
Finding Logic Bugs in Spatial Database Engines via <i>Affine Equivalent Inputs</i> Open
Spatial Database Management Systems (SDBMSs) aim to store, manipulate, and retrieve spatial data . SDBMSs are employed in various modern applications, such as geographic information systems, computer-aided design tools, and location-based …
View article: Understanding and Reusing Test Suites Across Database Systems
Understanding and Reusing Test Suites Across Database Systems Open
Database Management System (DBMS) developers have implemented extensive test suites to test their DBMSs. For example, the SQLite test suites contain over 92 million lines of code. Despite these extensive efforts, test suites are not system…
View article: Fuzzing the PHP Interpreter via Dataflow Fusion
Fuzzing the PHP Interpreter via Dataflow Fusion Open
PHP, a dominant scripting language in web development, powers a vast range of websites, from personal blogs to major platforms. While existing research primarily focuses on PHP application-level security issues like code injection, memory …
View article: Inconsistencies in TeX-Produced Documents
Inconsistencies in TeX-Produced Documents Open
TeX is a widely-used typesetting system adopted by most publishers and professional societies. While TeX is responsible for generating a significant number of documents, irregularities in the TeX ecosystem may produce inconsistent document…
View article: Towards a Unified Query Plan Representation
Towards a Unified Query Plan Representation Open
In database systems, a query plan is a series of concrete internal steps to execute a query. Multiple testing approaches utilize query plans for finding bugs. However, query plans are represented in a database-specific manner, so implement…
View article: Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations
Towards Efficient Build Ordering for Incremental Builds with Multiple Configurations Open
Software products have many configurations to meet different environments and diverse needs. Building software with multiple software configurations typically incurs high costs in terms of build time and computing resources. Incremental bu…
View article: Keep It Simple: Testing Databases via Differential Query Plans
Keep It Simple: Testing Databases via Differential Query Plans Open
Query optimizers perform various optimizations, many of which have been proposed to optimize joins. It is pivotal that these optimizations are correct, meaning that they should be extensively tested. Besides manually written tests, automat…
View article: Finding Cross-Rule Optimization Bugs in Datalog Engines
Finding Cross-Rule Optimization Bugs in Datalog Engines Open
Datalog is a popular and widely-used declarative logic programming language. Datalog engines apply many cross-rule optimizations; bugs in them can cause incorrect results. To detect such optimization bugs, we propose an automated testing a…
View article: Detecting Build Dependency Errors in Incremental Builds
Detecting Build Dependency Errors in Incremental Builds Open
Incremental and parallel builds performed by build tools such as Make are the heart of modern C/C++ software projects. Their correct and efficient execution depends on build scripts. However, build scripts are prone to errors. The most pre…
View article: Validating Database System Isolation Level Implementations with Version Certificate Recovery
Validating Database System Isolation Level Implementations with Version Certificate Recovery Open
Transactions are a key feature of database systems and isolation levels specify the behavior of concurrently executing transactions. Ensuring their correct behavior is crucial. Recently, many isolation anomalies have been found in producti…
View article: CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation Open
Database Management Systems (DBMSs) process a given query by creating a query plan, which is subsequently executed, to compute the query's result. Deriving an efficient query plan is challenging, and both academia and industry have investe…
View article: Finding XPath Bugs in XML Document Processors via Differential Testing
Finding XPath Bugs in XML Document Processors via Differential Testing Open
Extensible Markup Language (XML) is a widely used file format for data storage and transmission. Many XML processors support XPath, a query language that enables the extraction of elements from XML documents. These systems can be affected …
View article: Finding Cross-rule Optimization Bugs in Datalog Engines
Finding Cross-rule Optimization Bugs in Datalog Engines Open
Datalog is a popular and widely-used declarative logic programming language. Datalog engines apply many cross-rule optimizations; bugs in them can cause incorrect results. To detect such optimization bugs, we propose an automated testing a…
View article: Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation Open
Graph Database Management Systems (GDBMSs) store graphs as data. They are used naturally in applications such as social networks, recommendation systems and program analysis. However, they can be affected by logic bugs, which cause the GDB…
View article: Finding XPath Bugs in XML Document Processors via Differential Testing
Finding XPath Bugs in XML Document Processors via Differential Testing Open
Extensible Markup Language (XML) is a widely used file format for data storage and transmission. Many XML processors support XPath, a query language that enables the extraction of elements from XML documents. These systems can be affected …
View article: Artifact for "CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation"
Artifact for "CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation" Open
The artifact consists of two main components: Code, the tool that we created and extended, and in which we implemented Cardinality Estimation Restriction Testing (CERT), to find all bugs reported in the paper. Data, the data and reproduce …
View article: Artifact for "CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation"
Artifact for "CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation" Open
The artifact consists of two main components: Code, the tool that we created and extended, and in which we implemented Cardinality Estimation Restriction Testing (CERT), to find all bugs reported in the paper. Data, the data and reproduce …
View article: Automatically Testing Database Systems
Automatically Testing Database Systems Open
The automated testing of DBMS is an exciting, interdisciplinary effort that has seen many innovations in recent years. The examples addressed here represent different perspectives on this topic, reflecting strands of research from software…
View article: Testing Database Engines via Query Plan Guidance
Testing Database Engines via Query Plan Guidance Open
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 compute an incorrect result. To realize a fully automated testing…
View article: Testing Graph Database Engines via Query Partitioning
Testing Graph Database Engines via Query Partitioning Open
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 to return an incorrect result for a given query (e.g., by returning i…
View article: CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation Open
Database Management Systems (DBMSs) process a given query by creating a query plan, which is subsequently executed, to compute the query's result. Deriving an efficient query plan is challenging, and both academia and industry have investe…
View article: Testing Database Engines via Query Plan Guidance
Testing Database Engines via Query Plan Guidance Open
This artifact is the supplementary material for the paper "Testing Database Engines via Query Plan Guidance" that is published in ICSE'23. In the paper, we propose a new concept called Query Plan Guidance (QPG) for testing Database Managem…