"Symbolic execution of stored procedures in database management systems."

Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, Junaid Haroon Siddiqui (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics