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 L’empreinte digitale est basée sur l’exploration du texte des documents scientifiques d’individus afin de créer un index de termes pondérés, qui définit les thèmes clés de chaque chercheur individuel.
- 7 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
Explosions
Ingénierie et Science des Matériaux
Model checking
Ingénierie et Science des Matériaux
Transition Systems
mathématiques
Quality assurance
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 2018
Model-based mutant equivalence detection using automata language equivalence and simulations
Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 juil. 2018, Dans : Journal of Systems and Software. 141, p. 1-15 15 p.Résultats de recherche: Contribution à un journal/une revue › Article
Accès ouvert
!!File
Finite automata
Single-objective versus multi-objectivized optimization for evolutionary crash reproduction
Soltani, M., Derakhshanfar, P., Panichella, A., Devroey, X., Zaidman, A. & van Deursen, A., 1 janv. 2018, Search-Based Software Engineering - 10th International Symposium, SSBSE 2018, Proceedings. Springer Verlag, p. 325-340 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11036 LNCS).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
Crash
Optimization
Weighted Sums
Scalarization
Fitness Function
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack
Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Baudry, B., 17 juil. 2018, Dans : Empirical Software Engineering . p. 1-44 44 p.Résultats de recherche: Contribution à un journal/une revue › Article
Accès ouvert
!!File
Sampling
Testing
Scaffolds
Program processors
Chemical analysis
Welcome from the MASES 2018 chairs
Perrouin, G., Acher, M., Cordy, M. & Devroey, X., 3 sept. 2018, Dans : Proceedings of the International Workshop on Machine Learning and Software Engineering in Symbiosis, co-located with ASE 2018. p. IIIRésultats de recherche: Contribution à un journal/une revue › Editorial
Welcome Message from the General Chairs A-MOST 2018
Arcaini, P., Devroey, X. & Faria, J. P., 16 juil. 2018, Dans : Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. p. xxiiRésultats de recherche: Contribution à un journal/une revue › Editorial
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