Relational symbolic execution of SQL code for unit testing of database programs. Marcozzi, M.; Vanhoof, W.; and Hainaut, J. Sci. Comput. Program., 105:44–72, 2015.
Paper doi bibtex @article{DBLP:journals/scp/MarcozziVH15,
author = {Micha{\"{e}}l Marcozzi and
Wim Vanhoof and
Jean{-}Luc Hainaut},
title = {Relational symbolic execution of {SQL} code for unit testing of database
programs},
journal = {Sci. Comput. Program.},
volume = {105},
pages = {44--72},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2015.03.005},
doi = {10.1016/j.scico.2015.03.005},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/scp/MarcozziVH15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}