• 628 Citations
  • 15 h-Index
1974 …2015

Résultat de recherche par an

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.

  • 10 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
  • 196 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 revueArticle

    Accès ouvert
    File
  • 158 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
    373 Téléchargements (Pure)

    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
  • 310 Téléchargements (Pure)