Un Data-Store pour la Génération de Cas de Tests

Publication
16èmes journées AFADL Approches Formelles dans l’Assistance au Développement de Logiciels