Détails du projet

Description

{description_courte}
AcronymeThesis-X-Devroey
statutFini
Les dates de début/date réelle1/09/1130/08/17

Résultat de recherche

  • 16 Article dans les actes d'une conférence/un colloque
  • 3 Chapitre (revu par des pairs)
  • 2 Poster
  • 2 Logiciel
  • 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)

  • 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, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Tokyo, Japan: IEEE, p. 424-429 6 p. 7927996. (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
  • 14 Téléchargements (Pure)

    Activités

    • 16 Participation à une conférence, un congrès
    • 8 Participation à un atelier/workshop, un séminaire, un cours
    • 6 Participation à un Colloque, une journée d'étude

    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

    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

    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

    Thèses de l'étudiant

    Behavioural model-based testing of software product lines

    Author: 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