Projects per year
Fingerprint Dive into the research topics where Jean-Luc HAINAUT is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 11 Similar Profiles
Projects
RW FEDER-eHeath: E-Health-TIC
HAINAUT, J., THIRAN, P., Van Gyseghem, J., BENDAOUD, R. & LIM, E.
31/10/09 → …
Project: Research
ReQuest: ReQuest
ENGLEBERT, V., HAINAUT, J., BROGNEAUX, A., RAMDOYAL, R. & Vilz, J.
1/10/03 → …
Project: Research
RetroWeb: Web sites reverse-engineering methodologies and tools
HAINAUT, J. & MEURISSE, J.
1/09/01 → …
Project: Research
DB-MAIN: Database Application Engineering
HAINAUT, J., ENGLEBERT, V., ENGLEBERT, V., HENRARD, J., HICK, J. & ROLAND, D.
1/09/93 → …
Project: Research
Research Output
A Direct Symbolic Execution of SQL into Relational Constraints for Unit Testing of Data-Oriented Applications
Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2015.Research output: Working paper
File
Relational symbolic execution of SQL code for unit testing of database programs
Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 Jul 2015, In : Science of Computer Programming. 105, p. 44-72 29 p.Research output: Contribution to journal › Article
Open Access
File
Healthcare information system modelling
Hainaut, J. L., Brogneaux, A-F. & Cleve, A., 31 Aug 2014, Healthcare Administration: Concepts, Methodologies, Tools, and Applications. IGI Global, Vol. 1. p. 424-444 21 p.Research output: Contribution in Book/Catalog/Report/Conference proceeding › Chapter
Testing Database Programs using Relational Symbolic Execution
Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2014.Research output: Working paper
File
Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution
Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 31 May 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 PressResearch output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Open Access
File
Thesis
A contribution to C++ database development methodology
Author: Lambers, P., 1998Supervisor: Hainaut, J. (Supervisor)
Student thesis: Master types › Master in Computer science
Acquisistion de Spécification à partir du Langage Naturel
Author: Thiran, P., 1997Supervisor: Hainaut, J. (Supervisor)
Student thesis: Master types › Master in Computer science
Acquisition de spécifications à partir du langage naturel
Author: Thiran, P., 1997Supervisor: Hainaut, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File
Analyse conceptuelle de documents cartographiques
Author: Detienne, V., 1996Supervisor: Hainaut, J. (Jury)
Student thesis: Master types › Master in Computer science
File
Application orientée objets: contribution à la modélisation et au prototypage
Author: Bersez, F., 1993Supervisor: Hainaut, J. (Supervisor)
Student thesis: Master types › Master in Computer science
File