Publications

xdevroey, 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.

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

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

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

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

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

Christophe Ponsard, xdevroey (2011). Generating High-Level Event-B System Models from KAOS Requirements Models. InforSID 2011.

xdevroey (2010). Building a bridge between goal-oriented requirements with KAOS and event-B system specifications. University of Namur.