Membre du personnel

Xavier DEVROEY

Testing Variability-Intensive Systems - Perrouin, G., Devroey, X. & Cordy, M. 26 sept. 2017 ACM International Conference Proceeding Series. ACM Press, 1 p. (SPLC '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

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

Towards Security-aware Mutation Testing - Loise, T., Devroey, X., Perrouin, G., Papadakis, M. & Heymans, P. 13 mars 2017 Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE International Conference on : Mutation 2017. IEEE, 6 p. (ICSTW '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

Yo Variability! JHipster: A Playground for Web-Apps Analyses - Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Heymans, P. 1 févr. 2017 Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems. Eindhoven, Netherlands: ACM Press, p. 44-51 8 p. (VaMoS '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

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

Featured Model-based Mutation Analysis - Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P. & Heymans, P. mai 2016 Proceedings of the 38th international conference on Software Engineering. Austin, TX, USA: ACM Press, p. 655-666 12 p. (ICSE '16)

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

Search-based Similarity-driven Behavioural SPL Testing - Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P. 27 janv. 2016 Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems. Salvador of Bahia, Brazil: ACM Press, p. 89-96 8 p. (VaMoS '16)

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

Poster: VIBeS, Transition System Mutation Made Easy - Devroey, X., Perrouin, G., Schobbens, P. & Heymans, P. 12 août 2015 Proceedings - International Conference on Software Engineering. Florence, Italy: IEEE Computer Society Press, Vol 2, p. 817-818 2 p. 7203084

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

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. 24 juil. 2015 Dans : Software and Systems Modeling. p. 1-19 19 p.

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

Poster: Behavioral Model-Based Testing of Variability Intensive Systems - Devroey, X. 26 juin 2015

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

State machine flattening, a mapping study and tools assessment - Devroey, X., Cordy, M., Schobbens, P. Y., Legay, A. & Heymans, P. 13 mai 2015 2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings: A-MOST '15. IEEE, p. 1-8 8 p. 7107408

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

Covering SPL Behaviour with Sampled Configurations: An Initial Assessment - Devroey, X., Perrouin, G., Legay, A., Schobbens, P-Y. & Heymans, P. 2015 Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems. Hildesheim, Germany: Association for Computing Machinery, Vol 21-23-January-2015, p. 59:59-59:66 8 p. (VaMoS '15)

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

A Variability Perspective of Mutation Analysis - Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A. & Schobbens, P-Y. 16 nov. 2014 Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York, NY, USA: ACM Press, p. 841-844 4 p. (FSE 2014)

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

Coverage criteria for behavioural testing of software product lines - Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P-Y. & Heymans, P. 8 nov. 2014 Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Springer Verlag, Vol 8802, p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 8802)

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

VIBeS: Variability Intensive system Behavioural teSting - Devroey, X. & Perrouin, G. oct. 2014

Résultats de recherche: Forme non textuelleLogiciel

YAMI: Yet Another Model Inference tool - Devroey, X. oct. 2014

Résultats de recherche: Forme non textuelleLogiciel

Behavioural Model Based Testing of Software Product Lines: Research Abstract - Devroey, X. 16 sept. 2014 Proceedings of the 18th International Software Product Line Conference - Volume 1. ACM Press

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

Abstract test case generation for behavioural testing of software product lines - Devroey, X., Perrouin, G. & Schobbens, P-Y. 15 sept. 2014 ACM International Conference Proceeding Series. Florence, Italy: Association for Computing Machinery, Vol 2, p. 86-93 8 p. (SPLC '14)

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

State Machine Flattening: Mapping Study and Assessment - Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P. 24 mars 2014 Arxiv

Résultats de recherche: Autre contribution

Towards Statistical Prioritization for Software Product Lines Testing - Devroey, X., Perrouin, G., Cordy, M., Schobbens, P-Y., Legay, A. & Heymans, P. janv. 2014 Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems. Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol VaMoS '14, p. 10:1-10:7 8 p. 10

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

A vision for behavioural model-driven validation of software product lines - Devroey, X., Cordy, M., Perrouin, G., Kang, E-Y., Schobbens, P-Y., Heymans, P., Legay, A. & Baudry, B. 15 oct. 2012 Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Vol 7609 LNCS, p. 208-222 15 p.

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

Behavioural Model-Driven Validation of Software Product Lines - Devroey, X., Perrouin, G., Schobbens, P., Heymans, P. & Baudry, B. 24 avr. 2012

Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

Generating High-Level Event-B System Models from KAOS Requirements Models - Ponsard, C. & Devroey, X. 2011 INFORSID: Actes du XXIXème Congrès INFORSID. p. 317-332 16 p.

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

Building a bridge between Goal-Oriented Requirements with KAOS and event-B System Specifications - Devroey, X. juin 2010 Facultés Universitaires Notre-Dame de la Paix . 129 p.

Résultats de recherche: Thèse externeMémoire de master