Latest

• Constant Optimization Driven Database System Testing
• 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