Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Profil personnel

Qualification académique

Docteur ès sciences, Faculte 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 Passez en revue plus en détail les thèmes de recherche où Xavier DEVROEY est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 7 Profils similaires

Réseau Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

Projets

Résultat de recherche

A benchmark-based evaluation of search-based crash reproduction

Soltani, M., Derakhshanfar, P., Devroey, X. & van Deursen, A., 1 janv. 2020, Dans : Empirical Software Engineering . 25, 1, p. 96-138 43 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert

MALTESQUE 2019 Workshop Summary

Fontana, F. A., Perrouin, G., Ampatzoglou, A., Archer, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 22 janv. 2020, Dans : ACM SIGSOFT Software Engineering Notes. 45, 1, p. 34-35 2 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
  • 13 Téléchargements (Pure)
    Accès ouvert
    File
  • 1 Téléchargements (Pure)

    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érenceArticle dans les actes d'une conférence/un colloque

    Accès ouvert
    File
  • 14 Téléchargements (Pure)

    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érenceChapitre (revu par des pairs)

  • Activités

    • 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)

    Xavier Devroey (Orateur)
    26 sept. 201729 sept. 2017

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

    Testing Variability-intensive Systems

    Gilles Perrouin (Orateur), Xavier Devroey (Orateur), Maxime Cordy (Orateur)
    26 sept. 2017

    Activité: Types de discours ou de présentationDiscours invité

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

    Xavier Devroey (Orateur)
    13 mars 201718 mars 2017

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

    12th International Workshop on Mutation Analysis (Mutation 2017)

    Xavier Devroey (Orateur)
    13 mars 2017

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

    Thèse

    Behavioural model-based testing of software product lines

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

    Superviseur: 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 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. (Personne externe) (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