conftrace_

logic bug

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

database testing (2) logic bug detection (2) query synthesis (1) pivot row (1) query generation (1) semantic equivalence (1) ebpf verifier (1) kernel security (1) approximation correctness (1) pivoted query synthesis (1)

Papers

Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation OSDI 2024 Validating the eBPF Verifier via State Embedding OSDI 2024 Testing Database Engines via Pivoted Query Synthesis OSDI 2020