Qex swMATH ID: 9944 Software Authors: Veanes, Margus; Tillmann, Nikolai; de Halleux, Jonathan Description: Qex: symbolic SQL query explorer. 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. Homepage: http://link.springer.com/chapter/10.1007/978-3-642-17511-4_24 Related Software: MONA; z3; TPTP; Dafny Cited in: 3 Documents all top 5 Cited by 6 Authors 2 Veanes, Margus 1 Bjørner, Nikolaj S. 1 Clarke, Edmund Melson jun. 1 de Halleux, Jonathan 1 Tillmann, Nikolai 1 Voronkov, Andrei Cited in 2 Serials 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Lecture Notes in Computer Science Cited in 3 Fields 3 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year