Publications

  • Featured Model-based Mutation Analysis. Devroey, X., Perrouin, G., Papadakis M., Legay, A., Schobbens, P.-Y., Heymans, P. In ICSE'16. Austin, TX, USA. Presentation slides
  • Search-based Similarity-driven Behavioural SPL Testing. Devroey, X., Perrouin, G., Legay, A., Schobbens, P.-Y., Heymans, P. In VaMoS'16. Salvador of Bahia, Brazil.
  • 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. In Software and Systems Modeling (SoSyM) Journal.
  • Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. Devroey, X., Perrouin, G. , Legay, A. , Schobbens, P-Y. & Heymans, P. In VaMoS'15. Hildesheim, Germany. Presentation slides
  • A Variability Perspective of Mutation Analysis. Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A., & Schobbens, P.-Y. (2014). In FSE'14. Hong Kong. Presentation slides
  • Coverage Criteria for Behavioural Testing of Software Product Lines. Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P.-Y., & Heymans, P. (2014). In ISoLA'14. Corfu, Greece. Presentation slides
  • Abstract Test Case Generation for Behavioural Testing of Software Product Lines. Devroey, X., Perrouin, G., & Schobbens, P.-Y. (2014). In SPLat@SPLC'14. Florence, Italy. Presentation slides
  • Towards Statistical Prioritization for Software Product Lines Testing. Devroey, X., Perrouin, G., Cordy, M., Schobbens, P., Legay, A., & Heymans, P. (2014). In VaMoS'14. Nice, France. Presentation slides
  • 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., Baudry, B. (2012). In ISoLA'12. Crete, Greece.

Featured Transition System (FTS)

See https://projects.info.unamur.be/fts/

Textual Variability Language (TVL)

See https://projects.info.unamur.be/tvl/

Yet Another Model Inference tool (YAMI)

See https://projects.info.unamur.be/yami/