People
Projects
Publications
Found Bugs
Openings
Seminars
Manuel Rigger
Faculty
ETH Zurich
Find more information about Manuel at
https://www.manuelrigger.at/
.
Latest
Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
Understanding and Reusing Test Suites Across Database Systems
Inconsistencies in TeX-produced Documents
Keep It Simple: Testing Databases via Differential Query Plans
Detecting Build Dependency Errors in Incremental Builds
Validating Database System Isolation Level Implementations with Version Certificate Recovery
Finding Cross-rule Optimization Bugs in Datalog Engines
Finding XPath Bugs in XML Document Processors via Differential Testing
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation
Testing Database Engines via Query Plan Guidance
Testing Graph Database Engines via Query Partitioning
Forest: Structural Code Editing with Multiple Cursors
Intramorphic Testing: A New Approach to the Test Oracle Problem
Cite
×