Résultat de recherche par an
Résultat de recherche par an
Détails du projet
Description
{description_courte}
| statut | Fini |
|---|---|
| Les dates de début/date réelle | 1/10/10 → 30/09/12 |
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.
-
Testing Database Programs using Relational Symbolic Execution
Marcozzi, M., Vanhoof, W. & Hainaut, J.-L., 2014.Résultats de recherche: Papier de travail
File349 Téléchargements (Pure) -
Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution
Marcozzi, M., Vanhoof, W. (Promoteur) & Hainaut, J.-L. (Promoteur), 31 mai 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 PressRésultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvertFile283 Téléchargements (Pure)