Extending symbolic execution for automated testing of stored procedures

Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui. Extending symbolic execution for automated testing of stored procedures. Software Quality Journal, 28(2):853-887, 2020. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: