Symbolic execution of stored procedures in database management systems

Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui

Abstract

Stored procedures in database management systems are often used to implement complex business logic. Correctness of these procedures is critical for correct working of the system. However, testing them remains difficult due to many possible states of data and database constraints. This leads to mostly manual testing. Newer tools offer automated execution for unit testing of stored procedures but the test cases are still written manually.

BibTeX

@inproceedings{Mahmood-al:ASE16,
  author    = {Muhammad Suleman Mahmood and
               Maryam Abdul Ghafoor and
               Junaid Haroon Siddiqui},
  title     = {Symbolic execution of stored procedures in database management systems},
  booktitle = {ASE},
  pages     = {519--530},
  publisher = {{ACM}},
  year      = {2016},
}

Symbolic execution of stored procedures in database management systems

Abstract

Related papers