conftrace_

expression-level manipulation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

sql semantics (1) query transformation (1) equivalent expression (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