If you made any changes in Pure these will be visible here soon.

Profil personnel

Qualification académique

Docteur ès sciences, Faculté d'informatique

1 sept. 201130 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 201031 août 2011

Empreinte 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

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 revueArticle

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: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle 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 à un événement scientifique (non publié)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: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle 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/une revueArticle

Accès ouvert
!!File
Software Product Lines
Prioritization
Testing
Feature Model
Statistical tests

Activités 2011 2017

  • 18 Participation à une conférence, un congrès
  • 11 Participation à un atelier/workshop, un séminaire, un cours
  • 6 Participation à un Colloque, une journée d'étude
  • 1 Discours invité

21st International Systems and Software Product Line Conference (SPLC '17)

Devroey, X. (Orateur)
26 sept. 201729 sept. 2017

Activité: Participation ou organisation d'un événementParticipation à une conférence, un congrès

Testing Variability-intensive Systems

Perrouin, G. (Orateur), Devroey, X. (Orateur), Cordy, M. (Orateur)
26 sept. 2017

Activité: Discours invité

10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017)

Devroey, X. (Orateur)
13 mars 201718 mars 2017

Activité: Participation ou organisation d'un événementParticipation à 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énementParticipation à 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énementParticipation à un atelier/workshop, un séminaire, un cours

Thèse

Behavioural model-based testing of software product lines

Auteur: Devroey, X., 30 août 2017

Superviseur: 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 typesDocteur en Sciences

Fichier

Building a bridge between goal-oriented requirements with KAOS and event-B system specifications

Auteur: Devroey, X., 2010

Superviseur: Vanhoof, W. (Promoteur), Ponsard, C. (Jury), Heymans, P. (Jury) & Boucher, Q. (Jury)

Thèse de l'étudiant: Master typesMaster 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 2015

Superviseur: Heymans, P. (Promoteur), Perrouin, G. (Copromoteur) & Devroey, X. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Sampling & Testing all configurations: The JHipster case study

Auteur: Halin, A. & Nuttinck, A., 26 juin 2017

Superviseur: Cleve, A. (Président), Heymans, P. (Promoteur), Perrouin, G. (Copromoteur) & Devroey, X. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Towards Security Aware Mutation Testing

Auteur: Loise, T., 23 juin 2017

Superviseur: Cleve, A. (Président), Heymans, P. (Promoteur), Perrouin, G. (Copromoteur) & Devroey, X. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier