2 papers
cs.SE2015
A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
In so-called constraint-based testing, symbolic execution is a common technique used as a part of the process to generate test data for imperative programs. Databases are ubiquitou…
cs.SE2015
A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
Symbolic execution is a technique which enables automatically generating test inputs (and outputs) exercising a set of execution paths within a program to be tested. If the paths c…