VR – Clade (2021-2025)

Automatically specialize software libraries for a specific application

The automatic specialization of software libraries addresses the security and performance risks of software reuse. From the perspective of each application, the specialization of its third-party libraries is expected to reduce the attack surface of the application and to produce a smaller application that requires less resources for distribution and operation. From the perspective of the libraries, the specialization techniques of CLADE aim at increasing the diversity of library versions that are distributed with the applications. This increase in software diversity through automatic specialization mitigates the effects of monoculture while letting library developers continue at providing reusable mature services.

Browser Chance Music (2020 – 2021)

Interactive sonification of web browsing

This software art project, at the crossroads of software technology, music synthesis and interaction, develops an interactive installation to let participants experience the vast software activity that is performed when they browse the web on their mobile device. This is a collaboration with Kungl. Musikhögskolan (KMH) sponsored by the NAVET research center.


Making sense of software through art

re|thread is an open collective of computer scientists, artists, and designers, in Stockholm (Sweden). Our work lies at the intersection between software technology, art, interaction design, sonification, and visualization, and focuses on the use of software as the material and medium for artistic creation. Our work is fueled by the interest to explore the dynamic nature of software from multiple perspectives, addressing its many layers; from the sublimity and detail of each execution to the societal and political impact it has on our lives.

DEBLOAT WASP Expedition (2019 – 2021)

Remove unnecessary code across the software stack

The project investigates how to detect unnecessary dependencies across different levels of a code stack, from application source code to the operating system kernel.

Internet of DevOps (2018 – 2021)

Lifecycle visualization tools for continuous developer feedback

SSF – Trustful (2018 – 2023)

Strengthen the security of real life application stacks

The project aims to show that formal techniques can be used in combination with intelligent static and dynamic program manipulation techniques at scale to significantly strengthen the security of real life application stacks. The focus is on software-based attacks: attacks manifested through software that affect the host systems in adversarial ways through bugs, vulnerabilities, and design deficiencies at any level in the software stack.

WASP chair (2017 – 2023)

Testing and Diversifying Software to Build Reliable Autonomous Systems

My research plan focuses on analytical and fault-tolerance approaches, through the development of effcient software testing and software diversification techniques.
I address software reliability in a broad sense, considering the three following properties of software systems: safety, adaptability and security. Software in autonomous systems needs (i) to be correct with respect to its specification, (ii) to resist attacks, and (iii) to be able to sustain inevitable changes in its environment. The diversification and testing techniques that I develop in this research program are the two sides of the same coin that can address these three expectations about software.

H2020 – STAMP (2016 – 2019)

Automatic test amplification to boost QA in DevOps

STAMP will reuse existing assets (test cases, API descriptions, dependency models), in order to generate more test cases and test configurations each time the application is updated. Acting at all steps of development cycle, STAMP techniques aim at reducing the number and cost of regression bugs at unit level, configuration level and production stage.

Cominlabs – PROFILE (2016 – 2019)

Online digital profiling: a multi-disciplinary approach

Analyzing and mitigating the risks of online profiling: building a global perspective at the intersection of law, computer science and sociology

FP7 – HEADS (2013 – 2017)

New agile software engineering for future computing continuum

The main objective of the HEADS project is to enable the efficient exploitation of the broad diversity of the future computing continuum for rapid service innovation of advanced services, by providing service developers with new agile tool supported software engineering methods enabling short innovation cycles

This project was funded by the European Commission under the FP7.

FP7 FET – DIVERSIFY (2013 – 2016)

Ecology transfer for more resilient software through spontaneous diversification

The project investigates the diversification of software for adaptation in collaborative adaptive systems. The project gathers software engineering researchers and ecologists.
I coordinate this project.

This project was funded by the Future Emerging Technologies program of the FP7.

ANR – GEMOC (2012 – 2016)

A Language Workbench for Heterogeneous Modeling and Analysis of Complex Software-Intensive Systems

The project investigates the simulation of heterogeneous domain-specific modeling languages. Heterogeneity is introduced through the ability to compose operational semantics with different models of computation. Benoit Combemale coordinates the whole project.

This project was funded by the ANR.

CONNEXION (2012 – 2016)

In this project the TRISKELL team investigates methods and tools to (i) automatically analyze and compare regulatory requirements evolutions and geographical differences; (ii) automatically generate test cases for interactive systems in variable environments.

This project was funded by the French ministry of industry as part of the investissement d’avenir.


DGA-RAPID MOTIV (2012 – 2014)

Innovative software test generation and management solutions to handle the very high degrees of variability in video processing algorithmic chains. The objective is to provide systematic criteria to qualify the testing activity when developing video processing software.

ITN RELATE (2011 – 2015)

Software engineering for cloud computing.

This project is funded by the ITN Marie Curie Actions

VaryMDE (2011 – 2014)

Variability management in languages and system models.

This project is a bilateral collaboration with Thales

FP7 NoE – NESSoS (2010 – 2014)

Software engineering for secured future internet. In this project I specifically investigate architecture and design of future internet applications. I also co-lead WP7 with Jean-Marc Jézéquel

European network of excellence

FP7 STREP – DIVA (2008 – 2011)

Dynamic variability in complex, adaptive systems. In this project I specifically investigated the verification of adaptation rules and of AOP as an adaptation mechanism.

IST STREP project

DOMINO (2007 – 2009)

This project aims at defining methods and evironments for validation in a model-driven development context.

ANR project.

OpenDevFactory (2006 – 2008)

In this project, we aim at integrating a requirements engineering module in a software factory for model-driven development.

System@tic cluster project

FP7 NoE – AOSD (2004 – 2008)

Aspect Oriented Software Development. In this network we have developped a collaboration with the Trinity College of Dublin (A. Jackson and S. Clarke) that focuses on testing issues for aspect-oriented modelling.

European network of excellence

Mutation 2 (2004 – 2005)

Automatic test generation from textual requirements.

A Carroll project.

AS-MDA (2004)

Academic working group on Model-Driven Architecture

CNRS project

ITEA CAFE (2001 – 2003)

Software product lines. We specifically invstigated testing techniques for products and product lines.

An ITEA project.

International collaborations

2008-2011: Equipe associee MoCCA in collaboration with Colorado State University – SAL.

2008-2009: Associated researcher to the SENSORIA IP project.

2007-2008: Visiting researcher at the Computer Science Department, Colorado State University.

2006-2009: Equipe associee MATT in collaboration with Colorado State University – SAL. This is a three year program funded by INRIA – DREI.

2005: Grant from the INRIA – DREI to collaborate with Sudipto Ghosh and Robert France from the CSU – SAL Collaboration on model composition, model transformation and model testing.

August 2003: visit Sita Ramakrishnan in Monash University, Melbourne in August 2003 to collaborate on mutation analysis of object-oriented programs.

Collaboration with Lionel Briand and Yvan Labiche from the SQUALL lab in Carleton University>, Ottawa on design by contract for testing object oriented software. Visited a month in 2001 and 2002.