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. 2018 Dans : Journal of Systems and Software. 29 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
Lead
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 › Editorial
Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P. 13 mars 2017 Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on. Tokyo, Japan: IEEE, 6 p. (ICST '17)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
Automata theory
Finite automata
Activités 2011 2017
Testing Variability-intensive Systems
Perrouin, G. (Orateur), Devroey, X. (Orateur), Cordy, M. (Orateur)26 sept. 2017
Activité: Discours invité
21st International Systems and Software Product Line Conference (SPLC '17)
Devroey, X. (Orateur)26 sept. 2017 → 29 sept. 2017
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)
Devroey, X. (Orateur)13 mars 2017 → 18 mars 2017
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
12th International Workshop on Mutation Analysis (Mutation 2017)
Devroey, X. (Orateur)13 mars 2017
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
13th Workshop on Advances in Model Based Testing (A-MOST '17)
Devroey, X. (Membre du Comité d'Organisation)17 mars 2017
Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
Thèse
Behavioural model-based testing of software product lines
Auteur: Devroey, X., 30 août 2017Superviseur: Englebert, V. (Président), Schobbens, P. (Promoteur), Heymans, P. (Promoteur), 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