Projets par année
Profil personnel
Qualification académique
Docteur ès sciences, Faculté 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 Examinez les sujets de recherche où Xavier Devroey est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.
- 8 Profils similaires
Testing
Ingénierie et Science des Matériaux
Sampling
Ingénierie et Science des Matériaux
Software Product Lines
mathématiques
Markov processes
Ingénierie et Science des Matériaux
Model checking
Ingénierie et Science des Matériaux
Explosions
Ingénierie et Science des Matériaux
Transition Systems
mathématiques
Application programming interfaces (API)
Ingénierie et Science des Matériaux
Réseau
Récente collaboration externe au niveau du pays. Découvrez tous les détails en cliquant sur les points.
Projets 2011 2017
- 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 2010 2019
A benchmark-based evaluation of search-based crash reproduction
Soltani, M., Derakhshanfar, P., Devroey, X. & van Deursen, A., 1 janv. 2019, Dans : Empirical Software Engineering .Résultats de recherche: Contribution à un journal/une revue › Article
Accès ouvert
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
Testing
Black-box testing
Application programming interfaces (API)
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)
Explosions
Effective and efficient API misuse detection via exception propagation and search-based testing
Kechagia, M., Devroey, X., Panichella, A., Gousios, G. & van Deursen, A., 10 juil. 2019, ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). New York, New York, USA: ACM Press, p. 192-203 12 p. (ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis).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
Application programming interfaces (API)
Testing
Java Unit Testing Tool Competition - Seventh Round
Kifetew, F., Devroey, X. & Rueda, U., 1 mai 2019, Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019. Institute of Electrical and Electronics Engineers Inc., p. 15-20 6 p. 8812209. (Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 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
Testing
Activités 2011 2017
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é
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
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
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
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