Xavier Devroey

À propos
Cours
Recherche

À propos

Biographie

Xavier Devroey est professeur en génie logiciel à la Faculté d'informatique de l'Université de Namur. Son objectif de recherche est de faciliter les tests de logiciels en explorant de nouvelles voies pour atteindre un haut niveau d'automatisation pour la conception, la génération, la sélection et la priorisation des cas de test. Ses principaux intérêts de recherche comprennent les tests de logiciels basés sur la recherche et les modèles, l'augmentation des suites de tests, DevOps, et les systèmes à forte variabilité.

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

Facultés/Départements/Services

Faculté d'informatique - Membre

Instituts de recherche

Namur Digital Institute - Membre

Centre de recherche

Research Center on Information Systems Engineering - Membre

Organes

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

Commission communication - Membre

Bureau de faculté - Membre

Conseil de faculté - Membre

Domaines d'expertises

Génie logiciel automatisé
Tests de logiciels
Génie logiciel basé sur la recherche

Responsabilités externes

Membre du réseau de recherche LGBTIQ+ en génie logiciel
Membre du comité ALMIN (réseau ALUMNI en informatique)

2025-2026

Automated software engineering [INFOM126]

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

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

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

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

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

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

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

2024-2025

Automated software engineering [INFOM126]

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

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

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

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

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

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

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

2023-2024

Analyse de programmes pour la cybersécurité [INFOM227]

Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
Master 60 en sciences informatiques, bloc 1
Automated software engineering [INFOM126]

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

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

Bachelier en sciences informatiques, bloc 1
Projet 4 : application des bases de données [INFCB313]

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

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

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

2022-2023

Analyse de programmes pour la cybersécurité [INFOM227]

Master 60 en sciences informatiques, bloc 1
Master 120 en sciences informatiques, à finalité spécialisée en software engineering, bloc 2
Master 120 en sciences informatiques, à finalité spécialisée en data science, bloc 2
Initiation à la démarche scientifique [INFOB302]

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

Bachelier en sciences informatiques, bloc 1
Projet 4 : application des bases de données [INFCB313]

Bachelier en sciences informatiques, bloc 3
Vérification et validation logicielle [INFOM124]

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

Cette personne a également un profil sur le portail de la recherche de l’UNamur.

Voir le profil complet