Communication Dans Un Congrès
Année : 2013
Yves Ledru : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00857296
Soumis le : mardi 10 septembre 2013-17:44:16
Dernière modification le : jeudi 4 avril 2024-18:26:47
Dates et versions
Identifiants
- HAL Id : hal-00857296 , version 1
Citer
Taha Triki, Lydie Du Bousquet, Yves Ledru. Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle. AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2013, Grenoble, France. pp.120-134. ⟨hal-00857296⟩
74
Consultations
0
Téléchargements