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/14 |
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.
Résultat de recherche
-
A Direct Symbolic Execution of SQL into Relational Constraints for Unit Testing of Data-Oriented Applications
Marcozzi, M., Vanhoof, W. (Promoteur) & Hainaut, J.-L. (Promoteur), 2015.Résultats de recherche: Papier de travail
File174 Téléchargements (Pure) -
Relational symbolic execution of SQL code for unit testing of database programs
Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 juil. 2015, Dans: Science of Computer Programming. 105, p. 44-72 29 p.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
Accès ouvertFile142 Téléchargements (Pure) -
Relational Test Generation Tool for SQL Applications
Marcozzi, M. (Photographe), 31 juil. 2014Résultats de recherche: Forme non textuelle › Logiciel
Activités
-
SAT/SMT Summer School 2014
Marcozzi, M. (Poster)
10 juil. 2014 → 12 juil. 2014Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
36th International Conference on Software Engineering (ICSE 2014)
Marcozzi, M. (Orateur)
31 mai 2014Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Séminaire Pro-Doc "Projets et Financements"
Marcozzi, M. (Participant)
25 avr. 2014Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours