Génération de données de test basée à base de contraintes pour des applications orientées base de données

Vanhoof, Wim (PI)

University of Namur

Project: PHD

Description

{description_courte}

Status	Finished
Effective start/end date	1/10/10 → 30/09/12

1 Conference contribution
1 Working paper

Testing Database Programs using Relational Symbolic Execution
Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2014.
Research output: Working paper

File

336 Downloads (Pure)
Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution
Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 31 May 2014, Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Open Access
File
276 Downloads (Pure)