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

Conference papers

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

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

1 LIG Laboratoire d'Informatique de Grenoble - VASCO

LIG - Laboratoire d'Informatique de Grenoble

2 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

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

4 Smartesting - Smartesting

Taha Triki ¹ AuthorId : 971126
Author

Yves Ledru ¹ AuthorId : 181319
Mail :
Author IdHAL : yves-ledru

Lydie Du Bousquet ¹ AuthorId : 68672
Mail :
Author IdHAL : lydie-du-bousquet

Frédéric Dadeau ^{2, 3} AuthorId : 573830
Mail :
Author IdHAL : frederic-dadeau

Julien Botella ⁴ AuthorId : 667462
Author

1 LIG Laboratoire d'Informatique de Grenoble - VASCO (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 - 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
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 89889
- 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 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

3 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

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

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

Résumé : no abstract

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 : Friday, October 25, 2019 - 8:22:02 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

429

Contact Legal Notice Personal Data

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

Identifiers

Collections

Citation

Export

Share

Metrics

429

Contact Legal Notice Personal Data