TY - RPRT TI - A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications AU - Michaƫl Marcozzi AU - Wim Vanhoof AU - Jean-Luc Hainaut PY - 2015 UR - https://arxiv.org/abs/1501.05265 ID - 1501.05265 ER -