conftrace_

database testing

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logic bug (2) logic bug detection (2) query synthesis (1) pivot row (1) query generation (1) semantic equivalence (1) pivoted query synthesis (1) query transformation (1) equivalent expression (1) expression-level manipulation (1)

Papers

Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation OSDI 2024 Testing Database Engines via Pivoted Query Synthesis OSDI 2020