Qex: Symbolic SQL Query Explorer

DOI10.1007/978-3-642-17511-4_24zbMath1253.68114OpenAlexW1582686279MaRDI QIDQ3066111

Nikolai Tillmann, Margus Veanes, 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)

Related Items (6)

Improving Symbolic Automata Learning with Concolic Execution ⋮ Symbolic automatic relations and their applications to SMT and CHC solving ⋮ GR(1)*: GR(1) specifications extended with existential guarantees ⋮ From Sequential Extended Regular Expressions to NFA with Symbolic Labels ⋮ An Evaluation of Automata Algorithms for String Analysis ⋮ A decision procedure for string to code point conversion

Uses Software

• z3
• Qex

This page was built for publication: Qex: Symbolic SQL Query Explorer