Project Details

Description

{description_courte}
AcronymThesis-X-Devroey
StatusFinished
Effective start/end date1/09/1130/08/17

Research Output

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

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

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    Open Access
    File
  • 14 Downloads (Pure)

    On Featured Transition Systems

    Legay, A., Perrouin, G., Devroey, X., Cordy, M., Schobbens, P-Y. & Heymans, P., Jan 2017, SOFSEM 2017: Theory and Practice of Computer Science: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. Baier, C., van den Brand, M., Eder, J., Hinchey, M., Margaria, T. & Steffen, B. (eds.). Limerick, Ireland: Springer, p. 453-463 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10139 LNCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    File
  • 20 Downloads (Pure)

    Activities

    • 16 Participation in conference
    • 8 Participation in workshop, seminar, course
    • 6 Participation to a Symposium, a study Day

    13th Workshop on Advances in Model Based Testing (A-MOST '17)

    Xavier Devroey (Member of Organizing Committee)

    17 Mar 2017

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

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

    Xavier Devroey (Contributor)

    13 Mar 201718 Mar 2017

    Activity: Participating in or organising an event typesParticipation in conference

    12th International Workshop on Mutation Analysis (Mutation 2017)

    Xavier Devroey (Contributor)

    13 Mar 2017

    Activity: Participating in or organising an event typesParticipation in conference

    Student Theses

    Behavioural model-based testing of software product lines

    Author: Devroey, X., 30 Aug 2017

    Supervisor: Schobbens, P. (Supervisor), Heymans, P. (Supervisor), Englebert, V. (President), Baudry, B. (External person) (Jury), Cohen, M. B. (External person) (Jury), Legay, A. (Jury) & Perrouin, G. (Jury)

    Student thesis: Doc typesDoctor of Sciences

    File