2 search results - page 1 / 1 » Qex: Symbolic SQL Query Explorer |
164
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
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 tra...
119
Voted
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
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 theor...