conftrace_

sql semantics

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

expression-level manipulation (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