Xavier Devroey

About
Courses
Research

About

Biography

Xavier Devroey is a professor of software engineering at the Faculty of Computer Science of the University of Namur. His research goal is to ease software testing by exploring new paths to achieve a high level of automation for test case design, generation, selection, and prioritization. His main research interests include search-based and model-based software testing, test suite augmentation, DevOps, and variability-intensive systems.

Personne relais PHARE - Protection Harcèlement Étudiant de l'UNamur

Faculties/Departments/Services

Faculté d'informatique - Membre

Research institutes

Namur Digital Institute - Membre

Research center

Research Center on Information Systems Engineering - Membre

Organs

Commission communication - Membre

Bureau de faculté - Membre

Commission de l'enseignement de la Faculté d'informatique - Membre

Conseil de faculté - Membre

Domains of expertise

Automated software engineering
Software testing
Search-based software engineering
Software development

External responsibilities

LGBTIQ+ in Software Engineering Research network member
ALMIN committee member (Computer Science ALUMNI network)

2025-2026

Automated software engineering [INFOM126]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 1
Master 120 en cybersécurité, à finalité spécialisée, block 2
Initiation à la démarche scientifique [INFOB302]

Bachelier en sciences informatiques, block 3
Initiation à la démarche scientifique [INFOB302_UES]

Unités d'enseignement supplémentaires au master 60 en sciences informatiques (800P), block 1
Unités d'enseignement supplémentaires au master 120 en sciences informatiques (801P), block 1
Introduction à l'algorithmique [INFCB112]

Bachelier en sciences informatiques, block 1
Program analysis for cybersecurity [INFOM227]

Master 60 en sciences informatiques, block 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Master 120 en cybersécurité, à finalité spécialisée, block 2
Projet 4 : application des bases de données [INFCB313]

Bachelier en sciences informatiques, block 3
Test et qualité logicielle [INFOM125]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 1
Vérification et validation logicielle [INFOM124]

Master 120 en cybersécurité, à finalité spécialisée, block 2
Master 60 en sciences informatiques, block 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 1
Master 120 en sciences informatiques, à finalité spécialisée en data science, block 1

2024-2025

Automated software engineering [INFOM126]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 1
Master 120 en cybersécurité, à finalité spécialisée, block 2
Initiation à la démarche scientifique [INFOB302]

Unités d'enseignement supplémentaires au master 120 en sciences informatiques (801P), block 1
Bachelier en sciences informatiques, block 3
Unités d'enseignement supplémentaires au master 60 en sciences informatiques (800P), block 1
Introduction à l'algorithmique [INFCB112]

Bachelier en sciences informatiques, block 1
Program analysis for cybersecurity [INFOM227]

Master 60 en sciences informatiques, block 1
Master 120 en cybersécurité, à finalité spécialisée, block 2
Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Projet 4 : application des bases de données [INFCB313]

Bachelier en sciences informatiques, block 3
Test et qualité logicielle [INFOM125]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 1
Vérification et validation logicielle [INFOM124]

Master 60 en sciences informatiques, block 1
Master 120 en sciences informatiques, à finalité spécialisée en data science, block 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 1
Master 120 en cybersécurité, à finalité spécialisée, block 2

2023-2024

Automated software engineering [INFOM126]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 1
Initiation à la démarche scientifique [INFOB302]

Bachelier en sciences informatiques, block 3
Unités d'enseignement supplémentaires au master 120 en sciences informatiques (801P), block 1
Unités d'enseignement supplémentaires au master 60 en sciences informatiques (800P), block 1
Introduction à l'algorithmique [INFCB112]

Bachelier en sciences informatiques, block 1
Analyse de programmes pour la cybersécurité [INFOM227]

Master 60 en sciences informatiques, block 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Projet 4 : application des bases de données [INFCB313]

Bachelier en sciences informatiques, block 3
Test et qualité logicielle [INFOM125]

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 1
Vérification et validation logicielle [INFOM124]

Master 60 en sciences informatiques, block 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 1
Master 120 en sciences informatiques, à finalité spécialisée en data science, block 1

This person also has a profile on the UNamur research portal.

View complete profile