Nouveaux mécanismes de filtrage de tests basés sur le modèle

Taha Triki; Yves Ledru; Lydie Du Bousquet; Frédéric Dadeau; Julien Botella

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Nouveaux mécanismes de filtrage de tests basés sur le modèle

Taha Triki ¹ Yves Ledru ¹ Lydie Du Bousquet ² Frédéric Dadeau ^{3, 4} Julien Botella ⁵

1 LIG Laboratoire d'Informatique de Grenoble - VASCO

LIG - Laboratoire d'Informatique de Grenoble

2 VASCO

LIG - Laboratoire d'Informatique de Grenoble

3 CASSIS - Combination of approaches to the security of infinite states systems

FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods

4 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)

5 Smartesting - Smartesting

Taha Triki ¹ AuthorId : 971126
Author

Yves Ledru ¹ AuthorId : 181319
Author

Lydie Du Bousquet ² AuthorId : 68672

Author IdHAL : lydie-du-bousquet

Frédéric Dadeau ^{3, 4} AuthorId : 573830

Author IdHAL : frederic-dadeau

Julien Botella ⁵ AuthorId : 667462
Author

1 LIG Laboratoire d'Informatique de Grenoble - VASCO (Laboratoire LIG - 110 av. de la Chimie - Domaine Universitaire - BP 53 - 38041 Grenoble - cedex 9 - France) StructId : 49644

LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00 - France) StructId : 24471
- UPMF - Université Pierre Mendès France - Grenoble 2 (BP 47 - 38040 Grenoble Cedex 9 - France) StructId : 3886
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France) StructId : 51016
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 300275
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France) StructId : 441569
- UGA - Université Grenoble Alpes (CS 40700 - 38058 Grenoble cedex - France) StructId : 445543

2 VASCO (France) StructId : 390432

LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00 - France) StructId : 24471
- UPMF - Université Pierre Mendès France - Grenoble 2 (BP 47 - 38040 Grenoble Cedex 9 - France) StructId : 3886
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France) StructId : 51016
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 300275
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France) StructId : 441569
- UGA - Université Grenoble Alpes (CS 40700 - 38058 Grenoble cedex - France) StructId : 445543

3 CASSIS - Combination of approaches to the security of infinite states systems (France) StructId : 189789

FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France) StructId : 866
- UFC - Université de Franche-Comté (France) StructId : 458810
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (France) StructId : 441569
- ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France) StructId : 300360
- UTBM - Université de Technologie de Belfort-Montbeliard (France) StructId : 300261
Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France) StructId : 129671
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
LORIA - FM - Department of Formal Methods (France) StructId : 423084
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France) StructId : 206040
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France) StructId : 413289
  - CNRS - Centre National de la Recherche Scientifique : UMR7503 (France) StructId : 441569

4 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France) StructId : 866

UFC - Université de Franche-Comté (France) StructId : 458810
CNRS - Centre National de la Recherche Scientifique : UMR6174 (France) StructId : 441569
ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France) StructId : 300360
UTBM - Université de Technologie de Belfort-Montbeliard (France) StructId : 300261

5 Smartesting - Smartesting (Besançon - France) StructId : 239873

UFC - Université de Franche-Comté (France) StructId : 458810

Résumé : no abstract

Document type :

Conference papers

Domain :

Computer Science [cs] / Software Engineering [cs.SE]

Complete list of metadatas

https://hal.inria.fr/hal-00953273
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 11:17:39 AM
Last modification on : Thursday, September 5, 2019 - 10:08:06 AM

Identifiers

HAL Id : hal-00953273, version 1

Collections

Citation

Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle. Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180. ⟨hal-00953273⟩

Nouveaux mécanismes de filtrage de tests basés sur le modèle

Identifiers

Collections

Citation

Export

Metrics

426

Contact

Nouveaux mécanismes de filtrage de tests basés sur le modèle

Identifiers

Collections

Citation

Export

Share

Metrics

426

Contact