Publications

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