Qex: Symbolic SQL query explorer
M Veanes, N Tillmann, J De Halleux - … , LPAR-16, Dakar, Senegal, April 25 …, 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 …
values for a given parameterized SQL query. The evaluation semantics of an SQL query is …
Symbolic query exploration
M Veanes, P Grigorenko, P De Halleux… - Formal Methods and …, 2009 - Springer
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 …
SQL query satisfying a given test condition. We introduce a formal background theory that …
Conformance Testing of Relational DBMS Against SQL Specifications
S Liu, C Tian, J Sun, R Wang, W Lu, Y Zhao… - arXiv preprint arXiv …, 2024 - arxiv.org
A Relational Database Management System (RDBMS) is one of the fundamental software
that supports a wide range of applications, making it critical to identify bugs within these …
that supports a wide range of applications, making it critical to identify bugs within these …
Symbolic query exploration
M Veanes, N Tillmann, JP De Halleux… - US Patent …, 2012 - Google Patents
A symbolic query exploration (QEX) module automatically produces output information that
can be used to evaluate a database. The QEX module operates by converting an input …
can be used to evaluate a database. The QEX module operates by converting an input …
Controlled Query Evaluation Enforcing Privacy-Policy for Safe and Efficient Data Sharing
I Jo - 2013 - s-space.snu.ac.kr
With the growth in information access, comes the challenge of maintaining privacy and
security on sensitive data in shared data storage. For instance, the Information Technology …
security on sensitive data in shared data storage. For instance, the Information Technology …