Qex - Symbolic SQL Query Exploration

The purpose of the project is to investigate automatic data generation methods for parameterized SQL queries. Data generation involves both parameter data, as well as, concrete table data generation. The data generation is driven by test conditions that represent various coverage criteria.

Publications

Links

Qex video on Channel 9: