Abstract
SQLWitness identifies inequivalent SQL queries by generating database instances on which they return different results. It uses the DBMS execution engine to capture dialect-specific semantics, combines a constrained data-generation space with integrity-constraint-aware generation, and uses predicate coverage and statistical estimation to guide termination.
Date
Nov 18, 2026
Event
Weekly Talk
