conftrace_

equivalent expression

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

query transformation (1) expression-level manipulation (1) sql semantics (1) logic bug detection (1) semantic equivalence (1) database testing (1) logic bug (1) bug detection (1) semantic preservation (1)

Papers

Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation OSDI 2024