304 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 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",

}

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 -