Publications

Xavier Devroey (2017). Behavioural model-based testing of software product lines. Presses universitaires de Namur.
PDF Cite
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans (2017). Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation. IEEE Tenth International Conference on Software Testing, Verification and Validation (ICST ‘17).
PDF Cite DOI
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans (2016). Featured model-based mutation analysis. Proceedings of the 38th International Conference on Software Engineering (ICSE ‘16).
PDF Cite DOI
Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans (2016). Search-based Similarity-driven Behavioural SPL Testing. Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS ‘16).
PDF Cite DOI
Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans (2015). State machine flattening, a mapping study and tools assessment. Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on.
PDF Cite DOI
Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans (2015). Poster : VIBeS , Transition System Mutation Made Easy. Proceeding of the 37th International Conference on Software Engineering (ICSE 2015).
PDF Cite DOI
Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans (2015). Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems.
PDF Cite DOI
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans (2014). Towards Statistical Prioritization for Software Product Lines Testing. Proceedings of the Eight International Workshop on Variability Modelling of Software-intensive Systems (VaMoS ‘14).
PDF Cite DOI
Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans (2014). Coverage Criteria for Behavioural Testing of Software Product Lines. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (ISoLA ‘14).
PDF Cite DOI
Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens (2014). Abstract Test Case Generation for Behavioural Testing of Software Product Lines. Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools (SPLat@SPLC ‘14).
PDF Cite DOI