Jean-Luc Hainaut - Résultat de recherche - Portail de la recherche de l'Université de Namur

Voir le profil Scopus

h-index

Résultat de recherche par an

85 Article dans les actes d'une conférence/un colloque
30 Autre contribution
16 Article
12 Chapitre
Afficher plus d’informations

3 résultats

Filtrer

2015
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

File
174 Téléchargements (Pure)
2014

Testing Database Programs using Relational Symbolic Execution
Marcozzi, M., Vanhoof, W. & Hainaut, J.-L., 2014.
Résultats de recherche: Papier de travail

File

392 Téléchargements (Pure)
2012
A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs
Marcozzi, M., Vanhoof, W. & Hainaut, J.-L., 6 déc. 2012.
Résultats de recherche: Papier de travail

Accès ouvert
File
119 Téléchargements (Pure)

Votre message a bien été envoyé.

Votre message n’a pas été envoyé en raison d’une erreur.