“Life is really simple, but we insist on making it complicated.” ― Confucius

PhD Student - STAMP

December 2016 - Present
Inria, Spirals team
STAMP - Software Testing AMPlification: existing test cases contains a lot of knowledge about the program itself. The idea is to exploit all this knowledge to generate new test cases for instance.
DSpot - DSpot is a test suite amplifier. It takes as input a project and its test suite and will produce test cases according to a test criterion adequacy such as branch coverage or mutation score.
AssertFixer - AssertFixer aims at fix the assertion in a test suite, using the program as specifications.
Diff Test Selection - Diff Test Selection is a maven plugin, based on OpenClover, that produces the list of test classes and their test methods that execute a provided diff.


The Emerging Field of Test Amplification: A Survey : pre-print.
Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation: pre-print.
Correctness Attraction:Live-Demo.
Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness : pre-print.


STAMP open workshop

December 14, 2017

Presentation of DSpot: a test suite amplification tool.slides

Kungliga Tekniska Högskolan (KTH)

Presentation of Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation. slides


June 26-27, 2017
Orange Gardens Innovation Center, Paris - Châtillon

Presentation of Spoon, a library to analyze and transform java code in java. (link to Youtube)


Research Engineer

September 2016 - November 2016
Inria Lille, Spirals team

Development of nopol is an automatic repair tool for java program. Nopol fixes conditional and pre-condition bug, using the test suite. A IDEA plugin allows to developer to use nopol directly in their IDE.


March 2016 - August 2016
Inria Lille, Spirals team

Exploring the Perturbability Envelope in Software:

Perturbation is change in the state of a system at runtime. Such changes has a surprisingly low impact on the correctness (final output) of system according to our study. Does the equilibrium of the correctness of software is naturally present?

Correctness Attraction report

Research Engineer

June 2016 - June 2016
CRIStAL, Emeraude team

Development of N2S3: a Neural Network Scalable Spiking Simulator. Written in scala and using akka actors, N2S3 scale up and allow users to the simulate of neuro-inspired hardware accelerators. N2S3 got a real time UI to monitor the current state of the neuronal network.