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
  • 16 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
  • 23 Downloads (Pure)

    Activities

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

    12th International Workshop on Mutation Analysis (Mutation 2017)

    Xavier Devroey (Contributor)

    13 Mar 2017

    Activity: Participating in or organising an event typesParticipation in conference

    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

    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

    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