• 631 Citations
  • 15 h-Index
1974 …2015

Research output per year

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Passez en revue plus en détail les thèmes de recherche où Jean-Luc HAINAUT est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 11 Profils similaires

Projets

ReQuest: ReQuest

ENGLEBERT, V., HAINAUT, J., BROGNEAUX, A., RAMDOYAL, R. & Vilz, J.

1/10/03 → …

Projet: Recherche

DB-MAIN: Ingénierie des applications de bases de données

HAINAUT, J., ENGLEBERT, V., ENGLEBERT, V., HENRARD, J., HICK, J. & ROLAND, D.

1/09/93 → …

Projet: Recherche

Résultat de recherche

A Direct Symbolic Execution of SQL into Relational Constraints for Unit Testing of Data-Oriented Applications

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2015.

Résultats de recherche: Papier de travailArticle de travail

File
  • 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 revueArticle

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

    Healthcare information system modelling

    Hainaut, J. L., Brogneaux, A-F. & Cleve, A., 31 août 2014, Healthcare Administration: Concepts, Methodologies, Tools, and Applications. IGI Global, Vol 1. p. 424-444 21 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

  • Testing Database Programs using Relational Symbolic Execution

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2014.

    Résultats de recherche: Papier de travailArticle de travail

    File

    Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

    Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 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 Press

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
  • Thèse

    A contribution to C++ database development methodology

    Author: Lambers, P., 1998

    Superviseur: Hainaut, J. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Acquisistion de Spécification à partir du Langage Naturel

    Author: Thiran, P., 1997

    Superviseur: Hainaut, J. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Acquisition de spécifications à partir du langage naturel

    Author: Thiran, P., 1997

    Superviseur: Hainaut, J. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    Analyse conceptuelle de documents cartographiques

    Author: Detienne, V., 1996

    Superviseur: Hainaut, J. (Jury)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    Application orientée objets: contribution à la modélisation et au prototypage

    Author: Bersez, F., 1993

    Superviseur: Hainaut, J. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier