Margus Veanes and Pavel Grigorenko - Qex - Symbolic SQL Query Exploration

Download

Right click “Save as…”

Margus Veanes and Pavel Grigorenko present a new exciting project: Qex. Pavel did an internship in the Research in Software Engineering team (RiSE) investigating automatic data generation methods for parameterized SQL queries. In this video, he shows the result of his 3-month work. Qex translates SQL queries to logic formulas and give to our in-house constraint solver, Z3. When Z3 finds a solution, Qex translates that solution back to SQL code that can be executed in the database. This is similar to how Pex works.

Find more about Qex at http://research.microsoft.com/qex or read the technical report.

The 
Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Tags:

Follow the Discussion

Comments Closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums,
or Contact Us and let us know.