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.
- 5 Profils similaires
Testing
Ingénierie et Science des Matériaux
Sampling
Ingénierie et Science des Matériaux
Markov processes
Ingénierie et Science des Matériaux
Model checking
Ingénierie et Science des Matériaux
Quality assurance
Ingénierie et Science des Matériaux
Software testing
Ingénierie et Science des Matériaux
Explosions
Ingénierie et Science des Matériaux
Application programs
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 › Article
Accès ouvert
!!File
Finite automata
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: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Article dans les actes d'une conférence/un colloque
Accès ouvert
!!File
Automata theory
Finite automata
Message from the A-MOST 2017 Chairs: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Arcaini, P., Devroey, X. & Wang, S. 2017 p. 317-318 2 p.Résultats de recherche: Contribution à une conférence › Article
Software testing
Testing
Research laboratories
On Featured Transition Systems
Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P. janv. 2017 SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (LNCS)Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Article dans les actes d'une conférence/un colloque
!!File
Testing
Statistical prioritization for software product line testing: an experience report
Devroey, X., Perrouin, G., Cordy, M., Samih, H., Legay, A., Schobbens, P. Y. & Heymans, P. févr. 2017 Dans : Software and Systems Modeling. p. 1-19 19 p.Résultats de recherche: Contribution à un journal › Article
Accès ouvert
!!File
Software Product Lines
Prioritization
Testing
Feature Model
Statistical tests
Activités 2011 2017
21st International Systems and Software Product Line Conference (SPLC '17)
Devroey, X. (Orateur)26 sept. 2017 → 29 sept. 2017
Activité: 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 à une conférence, un congrès
12th International Workshop on Mutation Analysis (Mutation 2017)
Devroey, X. (Orateur)13 mars 2017
Activité: 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 à un atelier/workshop, un séminaire, un cours
11th International Workshop on Variability Modelling of Software-intensive Systems
Devroey, X. (Orateur)1 févr. 2017 → 3 févr. 2017
Activité: Participation à une conférence, un congrès
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. (Jury), Cohen, M. B. (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. (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)
Thèse de l'étudiant: Master types › Master en informatique
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 informatique
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 informatique
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 informatique
Fichier