Qex: symbolic SQL query explorer

DOI10.1007/978-3-642-17511-4_24MaRDI QIDQ3066111zbMATH OpenOpenAlexFDO

Authors Margus Veanes, Nikolai Tillmann, Jonathan De Halleux

Publication date 7 January 2011

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17511-4_24

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Applying constraint logic programming to SQL test case generation
• Automatic generation of test data for relational queries
• Algorithmic debugging of SQL views
• Query-Driven Program Testing
• On the automated verification of web applications with embedded SQL

Cited in

(12)

• GR(1)*: GR(1) specifications extended with existential guarantees
• An Evaluation of Automata Algorithms for String Analysis
• Qsym over Sym is free
• Applying constraint logic programming to SQL test case generation
• Simple and safe SQL queries with \texttt{C++} templates
• Symbolic automatic relations and their applications to SMT and CHC solving
• Improving Symbolic Automata Learning with Concolic Execution
• Reasoning About Data Trees Using CHCs
• Reasoning About Regular Properties: A Comparative Study
• Even Faster Conflicts and Lazier Reductions for String Solvers
• From sequential extended regular expressions to NFA with symbolic labels
• A decision procedure for string to code point conversion

Describes a project that uses

Uses Software

• Qex
• z3

This page was built for publication: Qex: symbolic SQL query explorer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3066111)