Testing Database Programs using Relational Symbolic Execution

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Research output: Working paper

377 Downloads (Pure)

Original language	English
Publication status	Published - 2014

Access to Document

marcozzi-tech-reportSubmitted manuscript, 413 KB

1 Finished

Génération de données de test basée à base de contraintes pour des applications orientées base de données
VANHOOF, W.
1/10/10 → 30/09/12
Project: PHD

Cite this