Publications

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
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens (2014). A Variability Perspective of Mutation Analysis. Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE ‘14, Visions and Challenges track).
PDF Cite DOI
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry (2012). A Vision for Behavioural Model-Driven Validation of Software Product Lines. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (ISoLA ‘12).
PDF Cite DOI
Christophe Ponsard, Xavier Devroey (2011). Generating High-Level Event-B System Models from KAOS Requirements Models. InforSID 2011.
PDF Cite
Xavier Devroey (2010). Building a bridge between goal-oriented requirements with KAOS and event-B system specifications. University of Namur.
PDF Cite