A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications.

Michaël Marcozzi Wim Vanhoof Jean-Luc Hainaut

Published in: CoRR (2015)

Keyphrases

symbolic execution
database
data sets
database queries
databases
artificial intelligence
data sources
source code
web services
training data