Lucian Ghirvu: Génération automatique de tests de conformité pour les protocoles de télécommunication. Joseph Fourier University, Grenoble, France 2002