conftrace_

logic bug

3 papers

Explore in graph

Co-occurring keywords

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

Papers

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