41 citations · 76 across the 7 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
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…