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.
- 10 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
File130 Downloads (Pure) -
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 › peer-review
Open AccessFile -
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
File315 Downloads (Pure) -
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 AccessFile245 Downloads (Pure)