Sciweavers

Share
ICFEM
2009
Springer

Symbolic Query Exploration

8 years 11 months ago
Symbolic Query Exploration
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theory that includes arithmetic, tuples, and sets, and translate the generation problem into a satisfiability or model generation problem modulo the background theory. We use the satisfiability modulo theories (SMT) solver Z3 in the concrete implementation. We describe an application of model generation in the context of the database unit testing framework of Visual Studio.
Margus Veanes, Pavel Grigorenko, Peli de Halleux,
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ICFEM
Authors Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
Comments (0)
books