@techreport{veanes2009qex,
author = {Veanes, Margus and Halleux, Jonathan de and Tillmann, Nikolai and Halleux, Jonathan "Peli" de},
title = {Qex: Symbolic SQL Query Explorer},
year = {2009},
month = {October},
abstract = {We describe a technique and a tool called Qex for generating input tables and parameter values for a given parameterized SQL query.  The evaluation semantics of an SQL query is translated into a specific background theory for a satisfiability modulo theories (SMT) solver as a set of equational axioms.  Symbolic evaluation of a goal formula together with the background theory yields a model from which concrete tables and values are extracted.  We use the SMT solver Z3 in the concrete implementation of Qex and provide an evaluation of its performance.},
publisher = {Microsoft Research},
url = {http://approjects.co.za/?big=en-us/research/publication/qex-symbolic-sql-query-explorer/},
number = {MSR-TR-2009-2015},
note = {Updated January 2010},
}