@inproceedings{veanes2010qex,
author = {Veanes, Margus and Tillmann, Nikolai and Halleux, Jonathan "Peli" de},
title = {Qex: Symbolic SQL Query Explorer},
series = {LNAI},
booktitle = {LPAR-16},
year = {2010},
month = {April},
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 = {Springer Verlag},
url = {http://approjects.co.za/?big=en-us/research/publication/qex-symbolic-sql-query-explorer-2/},
pages = {425-446},
volume = {6355},
edition = {LPAR-16},
}