Automated SQL query generation for systematic testing of database engines

Abstract

We present a novel approach for generating syntactically and semantically correct SQL queries as inputs for testing relational databases. We leverage the SAT-based Alloy tool-set to reduce the problem of generating valid SQL queries into a SAT problem. Our approach translates SQL query constraints into Alloy models, which enable it to generate valid queries that cannot be automatically generated using conventional grammar-based generators.

BibTeX

@inproceedings{Khalek-Khurshid:ASE10,
  author    = {Shadi Abdul Khalek and
               Sarfraz Khurshid},
  title     = {Automated {SQL} query generation for systematic testing of database engines},
  booktitle = {ASE},
  pages     = {329--332},
  publisher = {{ACM}},
  year      = {2010},
}

Automated SQL query generation for systematic testing of database engines

Abstract

Related papers