Xavier Devroey

About
Courses
Research

About

Biography

Xavier Devroey is an assistant 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

Faculté des sciences économiques, sociales et de gestion - Membre

Département des sciences de gestion - Membre

Research institutes

Namur Digital Institute - Membre

Institut de Recherches en Didactiques et Education de l'UNamur - Membre

Research center

Research Center on Information Systems Engineering - Directeur/Directrice d'un centre/unité de recherche

Organs

Conseil de faculté - Membre

Commission de l'enseignement de la Faculté d'informatique - Président(e)

Commission communication - Membre

Bureau de faculté - Membre

Domain of expertise

Automated software engineering
Software testing
Search-based software engineering

External responsabilities

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

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]

Unités d'enseignement supplémentaires au master 120 en sciences informatiques, block 1
Initiation à la démarche scientifique [INFOB302]

Unités d'enseignement supplémentaires au master 60 en sciences informatiques, block 1
Initiation à la démarche scientifique [INFOB302]

Bachelier en sciences informatiques, block 3
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
Analyse de programmes pour la cybersécurité [INFOM227]

Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Analyse de programmes pour la cybersécurité [INFOM227]

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
Vérification et validation logicielle [INFOM124]

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

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

2024-2025

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
Initiation à la démarche scientifique [INFOB302]

Unités d'enseignement supplémentaires au master 60 en sciences informatiques, block 1
Initiation à la démarche scientifique [INFOB302]

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

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

Master 120 en sciences informatiques, à finalité spécialisée en software engineering, block 2
Analyse de programmes pour la cybersécurité [INFOM227]

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

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
Vérification et validation logicielle [INFOM124]

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

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

2022-2023

Initiation à la démarche scientifique [INFOB302]

Unités d'enseignement supplémentaires au master 120 en sciences informatiques, block 1
Initiation à la démarche scientifique [INFOB302]

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

Unités d'enseignement supplémentaires au master 60 en sciences informatiques, block 1
Analyse de programmes pour la cybersécurité [INFOM227]

Master 120 en sciences informatiques, à finalité spécialisée en data science, block 2
Analyse de programmes pour la cybersécurité [INFOM227]

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

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

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

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

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

View complete profile