Publications

Thibault Septon, Santiago Villarreal Narvaez, Xavier Devroey, Bruno Dumas (2024). Exploiting Semantic Search and Object-Oriented Programming to Ease Multimodal Interface Development. Companion of the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS Companion ‘24).

Martin Balfroid, Benoît Vanderose, Xavier Devroey (2024). Towards LLM-Generated Code Tours for Onboarding. Proceedings of the 2024 ACM/IEEE International Workshop on NL-based Software Engineering (NLBSE ‘24).

PDF Dataset Project DOI

Nicolas Riquet, Xavier Devroey, Benoit Vanderose (2024). Debt Stories: Capturing Social and Technical Debt in the Industry. International Conference on Technical Debt (TechDebt ‘24).

PDF Dataset Project DOI

Sophie Fortz, Paul Temple, Xavier Devroey, Patrick Heymans, Gilles Perrouin (2024). VaryMinions: Leveraging RNNs to Identify Variants in Variability-intensive Systems' Logs. Empirical Software Engineering.

Sophie Fortz, Paul Temple, Xavier Devroey, Gilles Perrouin (2024). Towards Feature-based ML-enabled Behaviour Location. Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2024).

PDF Project DOI

Martin Balfroid, Pierre Luycx, Benoît Vanderose, Xavier Devroey (2023). An Empirical Evaluation of Regular and Extreme Mutation Testing for Teaching Software Testing. Proceedings of the 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘23).

PDF Dataset Project DOI

Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Kifetew, Annibale Panichella, Sebastiano Panichella (2022). JUGE: An infrastructure for benchmarking Java unit test generators. Software Testing, Verification and Reliability.

PDF Project Project DOI

Pierre Ortegat, Benoit Vanderose, Xavier Devroey (2022). Towards Automated Testing for Simple Programming Exercises. Proceedings of the 4th International Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI ‘22).

PDF Code Project Video DOI

Pouria Derakhshanfar, Xavier Devroey, Annibale Panichella, Andy Zaidman, Arie van Deursen (2022). Generating Class-Level Integration Tests Using Call Site Information. IEEE Transactions on Software Engineering.

PDF Project DOI

Pouria Derakhshanfar, Xavier Devroey, Andy Zaidman (2022). Basic block coverage for search-based unit testing and crash reproduction. Empirical Software Engineering.

PDF Project DOI

Nicolas Riquet, Xavier Devroey, Benoit Vanderose (2022). GitDelver Enterprise Dataset (GDED): An Industrial Closed-source Dataset for Socio-Technical Research. 19th International Conference on Mining Software Repositories (MSR ‘22).

PDF Code Dataset Project DOI

Pouria Derakhshanfar, Xavier Devroey (2022). Basic Block Coverage for Unit Test Generation at the SBST 2022 Tool Competition. 15th Search-Based Software Testing Workshop (SBST ‘22).

PDF Project Project Video DOI

Vincent Englebert, Xavier Devroey (2021). Modéliser. Éduquer au numérique. 12 clés pour comprendre l’informatique.

Sophie Fortz, Paul Temple, Xavier Devroey, Patrick Heymans, Gilles Perrouin (2021). VaryMinions: Leveraging RNNs to Identify Variants in Event Logs. Proceedings of the 5th International Workshop on Machine Learning Techniques for Software Quality Evolution.

Xavier Devroey, Moussa Amrani, Benoit Vanderose (2021). Experience Report on Soft and Project Skills Building through Repetition. Proceedings of the 3rd International Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI ‘21).

Benoit Vanderose, Benoit Frenay, Julie Henry, Xavier Devroey (2021). Report from the 2nd Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '20). ACM SIGSOFT Software Engineering Notes.

PDF Project DOI

Boris Cherry, Xavier Devroey, Pouria Derakhshanfar, Benoit Vanderose (2020). Crash reproduction difficulty, an initial assessment. Proceedings of the 19th Belgium-Netherlands Software Evolution Workshop (BENEVOL ‘20).

Pouria Derakhshanfar, Xavier Devroey, Andy Zaidman (2020). It is not Only About Control Dependent Nodes: Basic Block Coverage for Search-Based Crash Reproduction. Search-Based Software Engineering - 12th International Symposium, SSBSE 2020.

PDF Code Project Video DOI Replication package

Björn Evers, Pouria Derakhshanfar, Xavier Devroey, Andy Zaidman (2020). Commonality-Driven Unit Test Generation. Search-Based Software Engineering - 12th International Symposium, SSBSE 2020.

PDF Code Dataset Project Video DOI Replication package

Mitchell Olsthoorn, Pouria Derakhshanfar, Xavier Devroey (2020). An Application of Model Seeding to Search-based Unit Test Generation for Gson. Search-Based Software Engineering - 12th International Symposium, SSBSE 2020.

PDF Code Project Project DOI Replication package

Pouria Derakhshanfar, Xavier Devroey, Andy Zaidman, Arie van Deursen, Annibale Panichella (2020). Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives. 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ‘20).

PDF Code Project Video DOI Replication package

Pouria Derakhshanfar, Xavier Devroey, Annibale Panichella, Andy Zaidman, Arie van Deursen (2020). Botsing, a Search-based Crash Reproduction Framework for Java. 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ‘20).

PDF Code Project Video DOI Documentation

Paul Ralph, Sebastian Baltes, Gianisa Adisaputri, Richard Torkar, Vladimir Kovalenko, Marcos Kalinowski, Nicole Novielli, Shin Yoo, Xavier Devroey, Xin Tan, Minghui Zhou, Burak Turhan, Rashina Hoda, Hideaki Hata, Gregorio Robles, Amin Milani Fard, Rana Alkadhi (2020). Pandemic Programming: How COVID-19 affects software developers and how their organizations can help. Empirical Software Engineering.

PDF Dataset DOI

Pouria Derakhshanfar, Xavier Devroey, Andy Zaidman, Arie van Deursen, Annibale Panichella (2020). Crash Reproduction Using Helper Objectives. Genetic and Evolutionary Computation Conference Companion (GECCO ‘20 Companion).

PDF Code Project Video DOI

Xavier Devroey, Sebastiano Panichella, Alessio Gambi (2020). Java Unit Testing Tool Competition - Eighth Round. 2020 IEEE/ACM 13th International Workshop on Search-Based Software Testing (SBST ‘20).

PDF Code Project Video DOI

Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin, Andy Zaidman, Arie van Deursen (2020). Search-based Crash Reproduction using Behavioral Model Seeding. Software Testing, Verification and Reliability.

PDF Code Project Project Video DOI Replication package

Benoit Vanderose, Benoit Frenay, Julie Henry, Xavier Devroey (2020). Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI '19). ACM SIGSOFT Software Engineering Notes.

Francesca Arcelli Fontana, Gilles Perrouin, Apostolos Ampatzoglou, Mathieu Archer, Bartosz Walter, Maxime Cordy, Fabio Palomba, Xavier Devroey (2020). MALTESQUE 2019 Workshop Summary. ACM SIGSOFT Software Engineering Notes.

Mozhan Soltani, Pouria Derakhshanfar, Xavier Devroey, Arie van Deursen (2020). A benchmark-based evaluation of search-based crash reproduction. Empirical Software Engineering.

PDF Code Dataset Project Project Video DOI Replication package

Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin (2019). A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back.

PDF Project DOI

Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Benoit Baudry (2019). Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack. Empirical Software Engineering.

PDF Code Dataset Project Video DOI Replication package

Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy (2019). Uniform Sampling of SAT Solutions for Configurable Systems : Are We There Yet ?. IEEE Twelfth International Conference on Software Testing, Verification and Validation (ICST 2019).

PDF Project DOI

Urko Rueda, Fitsum Kifetew, Xavier Devroey (2019). Towards Automated Test Case Generation Maturity. Proceeding of the 12th Intl. Workshop on Search-Based Software Testing (SBST ‘19).

Fitsum Kifetew, Xavier Devroey, Urko Rueda (2019). Java Unit Testing Tool Competition - Seventh Round. Proceeding of the 12th Intl. Workshop on Search-Based Software Testing (SBST ‘19).

PDF Code Project DOI

Maria Kechagia, Xavier Devroey, Annibale Panichella, Georgios Gousios, Arie van Deursen (2019). Effective and efficient API misuse detection via exception propagation and search-based testing. Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA ‘19).

PDF Code Project Slides DOI Replication package

Jeremy Vanhecke, Xavier Devroey, Gilles Perrouin (2019). AbsCon : A Test Concretizer for Model-based Testing. Software Testing, Verification and Validation Workshops (A-MOST@ICST ‘19’), 2019 IEEE Twelfth International Conference on.

PDF Project DOI

Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans (2018). Model-based mutant equivalence detection using automata language equivalence and simulations. Journal of Systems and Software.

PDF Project Project DOI

Mozhan Soltani, Pouria Derakhshanfar, Annibale Panichella, Xavier Devroey, Andy Zaidman, Arie van Deursen (2018). Single-objective Versus Multi-objectivized Optimization for Evolutionary Crash Reproduction. Search-Based Software Engineering (SSBSE 2018).

PDF Code Project Project DOI

Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Patrick Heymans (2017). Yo variability! JHipster: a playground for web-apps analyses. Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems.

Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans (2017). Statistical prioritization for software product line testing: an experience report. Software & Systems Modeling (SoSyM).

PDF Project Project DOI

Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis, Patrick Heymans (2017). Towards Security-aware Mutation Testing. Software Testing, Verification and Validation Workshops (MUTATION@ICST ‘17), IEEE Tenth International Conference on.

Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans (2017). On Featured Transition Systems. SOFSEM 2017: Theory and Practice of Computer Science.

PDF Project DOI

Xavier Devroey (2017). Behavioural model-based testing of software product lines. Presses universitaires de Namur.

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 Project 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 Project 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 Project 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 Project 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 Project 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 Project 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 Project Project 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 Project 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 Project 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 Project 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 Project DOI

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

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