Dynamic symbolic database application testing

Chengkai Li, Christoph Csallner. Dynamic symbolic database application testing. In Shivnath Babu, G. N. Paulley, editors, Proceedings of the Third International Workshop on Testing Database Systems, DBTest 2010, Indianapolis, Indiana, USA, June 7, 2010. ACM, 2010. [doi]

@inproceedings{LiC10-10,
  title = {Dynamic symbolic database application testing},
  author = {Chengkai Li and Christoph Csallner},
  year = {2010},
  doi = {10.1145/1838126.1838133},
  url = {http://doi.acm.org/10.1145/1838126.1838133},
  tags = {testing, database},
  researchr = {https://researchr.org/publication/LiC10-10},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the Third International Workshop on Testing Database Systems, DBTest 2010, Indianapolis, Indiana, USA, June 7, 2010},
  editor = {Shivnath Babu and G. N. Paulley},
  publisher = {ACM},
  isbn = {978-1-4503-0190-9},
}