Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui. Symbolic execution of stored procedures in database management systems. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 519-530, ACM, 2016. [doi]
Abstract is missing.