TY  - RPRT
TI  - A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs
AU  - Michaël Marcozzi
AU  - Wim Vanhoof
AU  - Jean-Luc Hainaut
PY  - 2015
UR  - https://arxiv.org/abs/1501.05821
ID  - 1501.05821
ER  -