Testing Database Programs using Relational Symbolic Execution

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

Research output: Working paper

398 Downloads (Pure)

Original language	English
Publication status	Published - 2014

Access to Document

marcozzi-tech-reportSubmitted manuscript, 413 KB

1 Software

Relational Test Generation Tool for SQL Applications
Marcozzi, M. (Photographer), 31 Jul 2014
Research output: Non-textual form › Software

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. (PI)
1/10/10 → 30/09/12
Project: PHD

Cite this