Benjamin Ninassi benjamin.ninassi@inria.fr
Corine Tran-Aupiais coda.ta@hotmail.fr
Olivier Gaudin olivier.gaudin@sonarsource.com