conftrace_

logic bug detection

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

database testing (2) logic bug (2) pivoted query synthesis (1) query transformation (1) equivalent expression (1) expression-level manipulation (1) sql semantics (1) semantic equivalence (1) query generation (1) query synthesis (1)

Papers

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