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. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 120-134, Grenoble, January 2012.
@InProceedings{TrikidBL12,
Author = {Triki, Taha and du Bousquet, Lydie and Ledru, Yves},
Title = {{R}éduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle},
BookTitle = {{A}ctes de la {C}onférence {AFADL}'12: {A}pproches {F}ormelles dans l'{A}ssistance au {D}éveloppement de {L}ogiciels},
Pages = {120--134},
Address = {Grenoble},
Month = {January},
Year = {2012}
}
Get EndNote Reference (.ref)