Résultat de recherche par an
Résultat de recherche par an
| langue originale | Anglais |
|---|---|
| Etat de la publication | Publié - 31 juil. 2014 |
Résultat de recherche
-
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 ouvertFile137 Téléchargements (Pure) -
Testing Database Programs using Relational Symbolic Execution
Marcozzi, M., Vanhoof, W. & Hainaut, J.-L., 2014.Résultats de recherche: Papier de travail
File -
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 ouvertFile
Projets
- 1 Terminé
-
Génération de données de test basée sur les contraintes pour des applications orientées base de données.
Marcozzi, M. (Chercheur), Vanhoof, W. (Co-investigateur) & Hainaut, J.-L. (Co-investigateur)
1/10/10 → 30/09/14
Projet: Projet de thèse