Publications

(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

(2024). Debt Stories: Capturing Social and Technical Debt in the Industry. International Conference on Technical Debt (TechDebt ‘24).

PDF Dataset Project DOI

(2024). VaryMinions: Leveraging RNNs to Identify Variants in Variability-intensive Systems' Logs. Empirical Software Engineering.

PDF

(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

(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

(2022). JUGE: An infrastructure for benchmarking Java unit test generators. Software Testing, Verification and Reliability.

PDF Project Project DOI

(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

(2022). Generating Class-Level Integration Tests Using Call Site Information. IEEE Transactions on Software Engineering.

PDF Project DOI

(2022). Basic block coverage for search-based unit testing and crash reproduction. Empirical Software Engineering.

PDF Project DOI

(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

(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

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

Book

(2021). VaryMinions: Leveraging RNNs to Identify Variants in Event Logs. Proceedings of the 5th International Workshop on Machine Learning Techniques for Software Quality Evolution.

PDF DOI

(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).

PDF Video DOI

(2020). Crash reproduction difficulty, an initial assessment. Proceedings of the 19th Belgium-Netherlands Software Evolution Workshop (BENEVOL ‘20).

PDF Project

(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

(2020). Commonality-Driven Unit Test Generation. Search-Based Software Engineering - 12th International Symposium, SSBSE 2020.

PDF Code Dataset Project Video DOI Replication package

(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

(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

(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

(2020). Pandemic Programming: How COVID-19 affects software developers and how their organizations can help. Empirical Software Engineering.

PDF Dataset DOI

(2020). Crash Reproduction Using Helper Objectives. Genetic and Evolutionary Computation Conference Companion (GECCO ‘20 Companion).

PDF Code Project Video DOI

(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

(2020). Search-based Crash Reproduction using Behavioral Model Seeding. Software Testing, Verification and Reliability.

PDF Code Project Project Video DOI Replication package

(2020). MALTESQUE 2019 Workshop Summary. ACM SIGSOFT Software Engineering Notes.

PDF DOI

(2019). A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back.

PDF Project DOI

(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

(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

(2019). Towards Automated Test Case Generation Maturity. Proceeding of the 12th Intl. Workshop on Search-Based Software Testing (SBST ‘19).

PDF DOI

(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

(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

(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

(2018). Model-based mutant equivalence detection using automata language equivalence and simulations. Journal of Systems and Software.

PDF Project Project DOI

(2018). Single-objective Versus Multi-objectivized Optimization for Evolutionary Crash Reproduction. Search-Based Software Engineering (SSBSE 2018).

PDF Code Project Project DOI

(2017). Yo variability! JHipster: a playground for web-apps analyses. Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems.

PDF DOI

(2017). Statistical prioritization for software product line testing: an experience report. Software & Systems Modeling (SoSyM).

PDF Project Project DOI

(2017). Towards Security-aware Mutation Testing. Software Testing, Verification and Validation Workshops (MUTATION@ICST ‘17), IEEE Tenth International Conference on.

PDF DOI

(2017). On Featured Transition Systems. SOFSEM 2017: Theory and Practice of Computer Science.

PDF Project DOI

(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

(2016). Featured model-based mutation analysis. Proceedings of the 38th International Conference on Software Engineering (ICSE ‘16).

PDF Project DOI

(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

(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

(2015). Poster : VIBeS , Transition System Mutation Made Easy. Proceeding of the 37th International Conference on Software Engineering (ICSE 2015).

PDF Project DOI

(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

(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

(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

(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

(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

(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