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
https://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.