The aim of formal testing is to get a subset of every possible tests such with regards to a coverage criterion. This subset is called a test set and the coverage criterion is defined from a formal specification of a system, which can be an automaton. My research interest is about defining random exploration methods that ensure a good assessment of a coverage criterion, whatever the topology of the explored model.

Since I have an engineer formation, I used to make tools (in C++) to experiment my research work. Thus, Rukia is a free library (LGPL license) that generates paths of a fixed size from a graph described in GraphViz format, and ensures a uniform coverage among every paths.

In addition to my PhD status, I'm an assistant professor in the computer science department of IUT Orsay. I give lectures in algorithmic and C++ language to the first-year students and I'm also in charge of a robotic project for second-year students. This project aims at driving from Internet a robot built by IUT Cachan.