Publications

(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), September 21–25, 2020, Virtual Event, Australia.

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), September 21–25, 2020, Virtual Event, Australia.

PDF Code Project Video DOI Documentation

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

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

PDF Code Project Project Video DOI Replication package

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

PDF DOI

(2020). A benchmark-based evaluation of search-based crash reproduction. Empirical Software Engineering (EMSE).

PDF Code Dataset Project Project Video DOI Replication package

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

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

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