Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle
| Autor: | Triki, Taha, Du Bousquet, Lydie, Ledru, Yves |
|---|---|
| Přispěvatelé: | Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Validation de Systèmes, Composants et Objets logiciels (VASCO), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF) |
| Jazyk: | francouzština |
| Rok vydání: | 2013 |
| Předmět: | |
| Zdroj: | Actes de la Conférence AFADL 2012 AFADL 2012-Approches Formelles dans l'Assistance au Développement de Logiciels AFADL 2012-Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2013, Grenoble, France. pp.120-134 |
| Popis: | http://membres-liglab.imag.fr/idani/AFADL2012/programme.html; National audience |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|