Projets par an
Profil personnel
Qualification académique
Docteur ès sciences, Faculte d'informatique
1 sept. 2011 → 30 août 2017
Les positions extérieures
Postdoctoral researcher, Delft University of Technology
1 oct. 2017 → …Application developer (Issuing back-office dpt.), Atos Worldline
août 2010 → 31 août 2011Empreinte digitale Passez en revue plus en détail les thèmes de recherche où Xavier DEVROEY est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
- 7 Profils similaires
Réseau
Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.
Projets
- 1 Terminé
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
DEVROEY, X., HEYMANS, P., SCHOBBENS, P. & PERROUIN, G.
1/09/11 → 30/08/17
Projet: Projet de thèse
Résultat de recherche
A benchmark-based evaluation of search-based crash reproduction
Soltani, M., Derakhshanfar, P., Devroey, X. & van Deursen, A., 1 janv. 2020, Dans : Empirical Software Engineering . 25, 1, p. 96-138 43 p.Résultats de recherche: Contribution à un journal/une revue › Article
Accès ouvert
MALTESQUE 2019 Workshop Summary
Fontana, F. A., Perrouin, G., Ampatzoglou, A., Archer, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 22 janv. 2020, Dans : ACM SIGSOFT Software Engineering Notes. 45, 1, p. 34-35 2 p.Résultats de recherche: Contribution à un journal/une revue › Article
Accès ouvert
File
Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '19)
Vanderose, B., Frenay, B., Henry, J. & Devroey, X., 22 janv. 2020, Dans : ACM SIGSOFT Software Engineering Notes. 45, 1, p. 25-27 3 p.Résultats de recherche: Contribution à un journal/une revue › Article
Accès ouvert
File
AbsCon: A Test Concretizer for Model-based Testing
Vanhecke, J., Devroey, X. & Perrouin, G., 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, p. 15-22 8 p. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Accès ouvert
File
A Decade of Featured Transition Systems
Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., oct. 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M., Fantechi, A. & Semini, L. (eds.). Springer Verlag, p. 285-312 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11865 LNCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre (revu par des pairs)
Activités
21st International Systems and Software Product Line Conference (SPLC '17)
Xavier Devroey (Orateur)26 sept. 2017 → 29 sept. 2017
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Testing Variability-intensive Systems
Gilles Perrouin (Orateur), Xavier Devroey (Orateur), Maxime Cordy (Orateur)26 sept. 2017
Activité: Types de discours ou de présentation › Discours invité
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Xavier Devroey (Orateur)13 mars 2017 → 18 mars 2017
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
13th Workshop on Advances in Model Based Testing (A-MOST '17)
Xavier Devroey (Membre du Comité d'Organisation)17 mars 2017
Activité: Types de Participation ou d'organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
12th International Workshop on Mutation Analysis (Mutation 2017)
Xavier Devroey (Orateur)13 mars 2017
Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès
Thèse
Behavioural model-based testing of software product lines
Auteur: Devroey, X., 30 août 2017Superviseur: Schobbens, P. (Promoteur), Heymans, P. (Promoteur), Englebert, V. (Président), Baudry, B. (Personne externe) (Jury), Cohen, M. B. (Personne externe) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)
Thèse de l'étudiant: Doc types › Docteur en Sciences
Fichier
Building a bridge between goal-oriented requirements with KAOS and event-B system specifications
Auteur: Devroey, X., 2010Superviseur: Vanhoof, W. (Promoteur), Ponsard, C. (Personne externe) (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier
Rétro-ingénierie de la variabilité au sein de lignes de produits logiciels web: une "systematic mapping study"
Auteur: Patiny, M., 17 juin 2015Superviseur: Heymans, P. (Promoteur), Perrouin, G. (Copromoteur) & Devroey, X. (Copromoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Sampling & Testing all configurations: The JHipster case study
Auteur: Halin, A. & Nuttinck, A., 26 juin 2017Superviseur: Cleve, A. (Président), Heymans, P. (Promoteur), Perrouin, G. (Copromoteur) & Devroey, X. (Copromoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier
Towards Security Aware Mutation Testing
Auteur: Loise, T., 23 juin 2017Superviseur: Cleve, A. (Président), Heymans, P. (Promoteur), Perrouin, G. (Copromoteur) & Devroey, X. (Copromoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier