Generation des Test pour des Systems Concurrentes et Data-intensives · Laboratoire Méthodes Formelles, Doctorat · La Géode