http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.pnghttp://channel9.msdn.com/tags/qex/qexhttp://channel9.msdn.com/tags/qex/en-usTue, 02 Jun 2009 21:17:08 GMTTue, 02 Jun 2009 21:17:08 GMTEvNet (EvNet, Version=1.0.3608.3122, Culture=neutral, PublicKeyToken=null)<img src="http://mschnlnine.vo.llnwd.net/d1/ch9/3/1/7/1/7/4/qex_small_ch9.png" border="0" /><span><a href="http://research.microsoft.com/en-us/people/margus/">Margus Veanes</a></span> and <a href="http://cs.ioc.ee/~pavelg/">Pavel Grigorenko </a>present a new exciting project: <a href="http://research.microsoft.com/qex">Qex</a>. Pavel did an internship in the <a href="http://research.microsoft.com/rise">Research in Software Engineering team (RiSE)</a> 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, <a href="http://research.microsoft.com/projects/z3">Z3</a>. 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 <a href="http://research.microsoft.com/pex">Pex</a> works. <br /> <br /> Find more about Qex at <a href="http://research.microsoft.com/qex">http://research.microsoft.com/qex</a> or read the <span><a href="http://research.microsoft.com/apps/pubs/default.aspx?id=80959">technical report</a></span>.<em></em><br /> <em><br /> The </em><a href="http://research.microsoft.com/rise"><em>Research in Software Engineering team</em></a><em> (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.</em><img src="http://channel9.msdn.com/471713/WebViewBug.aspx?EVT=0" height="1" width="1" alt="" />http://channel9.msdn.com/posts/Peli/Qex-Symbolic-Query-Exploration/http://channel9.msdn.com/posts/Peli/Qex-Symbolic-Query-Exploration/Tue, 02 Jun 2009 23:59:00 GMThttp://mschnlnine.vo.llnwd.net/d1/ch9/3/1/7/1/7/4/qex_ch9.wmv42238http://channel9.msdn.com/471713/WebViewBug.aspx?EVT=0Margus Veanes and Pavel Grigorenko present a new exciting project: Qex, a tool that can automatically generate data to cover SQL queries. 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...Peli de Halleux0http://channel9.msdn.com/posts/Peli/Qex-Symbolic-Query-Exploration/RSS/http://channel9.msdn.com/471713/Trackback.aspxMicrosoft ResearchPEXqexriseSoftware Engineering ResearchSQL