| Original language | English |
|---|---|
| Publication status | Published - 2014 |
Cite this
@techreport{c79c41e1fdc440a29cf72f5090721d2c,
title = "Testing Database Programs using Relational Symbolic Execution",
author = "Micha{\"e}l Marcozzi and Wim Vanhoof and Jean-Luc Hainaut",
year = "2014",
language = "English",
type = "WorkingPaper",
}
Testing Database Programs using Relational Symbolic Execution. / Marcozzi, Michaël; Vanhoof, Wim; Hainaut, Jean-Luc.
2014.Research output: Working paper
TY - UNPB
T1 - Testing Database Programs using Relational Symbolic Execution
AU - Marcozzi, Michaël
AU - Vanhoof, Wim
AU - Hainaut, Jean-Luc
PY - 2014
Y1 - 2014
M3 - Working paper
BT - Testing Database Programs using Relational Symbolic Execution
ER -