3 papers
cs.SE2016
Generic and Effective Specification of Structural Test Objectives
Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov +2
While a wide range of different, sometimes heterogeneous test coverage criteria have been proposed, there exists no generic formalism to describe them, and available test automatio…
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…