Mathieu Acher
YOU?
Author Swipe
View article: Efficiently Ranking Software Variants with Minimal Benchmarks
Efficiently Ranking Software Variants with Minimal Benchmarks Open
Benchmarking is a common practice in software engineering to assess the qualities and performance of software variants, coming from multiple competing systems or from configurations of the same system. Benchmarks are used notably to compar…
View article: On the Effect of Feature Reduction on Energy Consumption: An Exploratory Study
On the Effect of Feature Reduction on Energy Consumption: An Exploratory Study Open
International audience
View article: Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions
Exploring the Computational Complexity of Uniform Random Sampling and SAT Counting with Phase Transitions Open
Uniform Random Sampling (URS) and Model Counting (#SAT) are two intrinsically linked, theoretical problems with relevant practical applications in software engineering. In particular, in configurable system engineering, URS and #SAT can su…
View article: In the Search for Truth: Navigating Variability in Neuroimaging Software Pipelines
In the Search for Truth: Navigating Variability in Neuroimaging Software Pipelines Open
International audience
View article: Teaching Reproducibility and Embracing Variability: From Floating-Point Experiments to Replicating Research
Teaching Reproducibility and Embracing Variability: From Floating-Point Experiments to Replicating Research Open
International audience
View article: Unify and Triumph: Polyglot, Diverse, and Self-Consistent Generation of Unit Tests with LLMs
Unify and Triumph: Polyglot, Diverse, and Self-Consistent Generation of Unit Tests with LLMs Open
Large language model (LLM)-based test generation has gained attention in software engineering, yet most studies evaluate LLMs' ability to generate unit tests in a single attempt for a given language, missing the opportunity to leverage LLM…
View article: Automated Co-Evolution of Metamodels and Code
Automated Co-Evolution of Metamodels and Code Open
International audience
View article: Small Yet Configurable: Unveiling Null Variability in Software
Small Yet Configurable: Unveiling Null Variability in Software Open
International audience
View article: Generative AI for Generative Programming: Automating Code Variants and Exploring the Boundaries of LLMs
Generative AI for Generative Programming: Automating Code Variants and Exploring the Boundaries of LLMs Open
28 november 2024 @ Caen, invited talk at Normastichttps://www.normastic.fr/event/journee-de-laxe-donnees-apprentissage-connaissances-large-language-models-llms/
View article: Mutation‐Guided Metamorphic Testing of Optimality in AI Planning
Mutation‐Guided Metamorphic Testing of Optimality in AI Planning Open
Autonomous systems such as space‐ or underwater‐exploration robots or elderly people assistance robots often include an artificial intelligence (AI) planner as a component. Starting from the initial state of a system, an AI planner automat…
View article: Exploring Performance Trade-offs in JHipster
Exploring Performance Trade-offs in JHipster Open
The performance of software systems remains a persistent concern in the field of software engineering. While traditional metrics like binary size and execution time have long been focal points for developers, the power consumption concern …
View article: Policy Testing with MDPFuzz (Replicability Study)
Policy Testing with MDPFuzz (Replicability Study) Open
This repository is the artifact package of the paper Policy Testing with MDPFuzz (Replicability Study). The artifact is also available on GitHub. Before using, please unzip the files reproduction.zip and replication.zip.
View article: Testing for Fault Diversity in Reinforcement Learning
Testing for Fault Diversity in Reinforcement Learning Open
Reinforcement Learning is the premier technique to approach sequential decision problems, including complex tasks such as driving cars and landing spacecraft. Among the software validation and verification practices, testing for functional…
View article: Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling Open
Despite its NP-completeness, the Boolean satisfiability problem gave birth to highly efficient tools that are able to find solutions to a Boolean formula and compute their number. Boolean formulae compactly encode huge, constrained search …
View article: Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions
Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions Open
Uniform Random Sampling (URS) is the problem of selecting solutions (models) from a Boolean formula such that each solution gets the same probability of being selected. URS has many applications. In large configurable software systems, one…
View article: A Demonstration of End-User Code Customization Using Generative AI
A Demonstration of End-User Code Customization Using Generative AI Open
International audience
View article: An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolution.
An Empirical Study on Leveraging LLMs for Metamodels and Code Co-evolution. Open
International audience
View article: A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making
A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making Open
In sequential decision making, neural networks (NNs) are nowadays commonly used to represent and learn the agent's policy. This area of application has implied new software quality assessment challenges that traditional validation and veri…
View article: Generative AI for Reengineering Variants into Software Product Lines
Generative AI for Reengineering Variants into Software Product Lines Open
International audience
View article: PyroBuildS: Enabling Efficient Exploration of Linux Configuration Space with Incremental Build
PyroBuildS: Enabling Efficient Exploration of Linux Configuration Space with Incremental Build Open
Software engineers are acutely aware that the build of software is an essential but resource-intensive step in any software development process. This is especially true when building large systems or highly configurable systems whose vast …
View article: Is Your Model Cold Enough? A Performance Study of LLM-Generated Code
Is Your Model Cold Enough? A Performance Study of LLM-Generated Code Open
Platform to test the completions of Github Copilot, Codex and other LLMs. Most of the informations are located in the README.md files.
View article: Data for Patterns of ontogenetic evolution across extant marsupials reflect different allometric pathways to ecomorphological diversity
Data for Patterns of ontogenetic evolution across extant marsupials reflect different allometric pathways to ecomorphological diversity Open
Data associated with: Wilson LAB, López-Aguirre C, Archer M, Hand SJ, Flores D, Abdala F, Giannini NP. 2023. Patterns of ontogenetic evolution across extant marsupials reflect different allometric pathways to ecomorphological diversity. Na…
View article: Data for Patterns of ontogenetic evolution across extant marsupials reflect different allometric pathways to ecomorphological diversity
Data for Patterns of ontogenetic evolution across extant marsupials reflect different allometric pathways to ecomorphological diversity Open
Data associated with: Wilson LAB, López-Aguirre C, Archer M, Hand SJ, Flores D, Abdala F, Giannini NP. 2023. Patterns of ontogenetic evolution across extant marsupials reflect different allometric pathways to ecomorphological diversity. Na…
View article: A Call for Removing Variability
A Call for Removing Variability Open
International audience