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 VASCO - Validation de Systèmes, Composants et Objets logiciels

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
Author IdHAL : yves-ledru ORCID : https://orcid.org/0000-0002-0632-030X

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

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

Julien Botella ⁴ AuthorId : 667462
Author

1 VASCO - Validation de Systèmes, Composants et Objets logiciels (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
- 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
- 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

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
- UTBM - Université de Technologie de Belfort-Montbeliard (France) StructId : 300261
- 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
- UFC - Université de Franche-Comté (1 rue Goudimel 25030 Besançon cedex - France) StructId : 458810
  - UBFC - Université Bourgogne Franche-Comté [COMUE] (France) StructId : 426438
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (France) StructId : 441569
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
  - CNRS - Centre National de la Recherche Scientifique : UMR7503 (France) StructId : 441569
  - UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France) StructId : 413289
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009

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

UTBM - Université de Technologie de Belfort-Montbeliard (France) StructId : 300261
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
UFC - Université de Franche-Comté (1 rue Goudimel 25030 Besançon cedex - France) StructId : 458810
- UBFC - Université Bourgogne Franche-Comté [COMUE] (France) StructId : 426438
CNRS - Centre National de la Recherche Scientifique : UMR6174 (France) StructId : 441569

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

UFC - Université de Franche-Comté (1 rue Goudimel 25030 Besançon cedex - France) StructId : 458810
- UBFC - Université Bourgogne Franche-Comté [COMUE] (France) StructId : 426438

Résumé : no abstract

Document type :

Conference papers

Domain :

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

Complete list of metadata

https://hal.inria.fr/hal-00953273
Contributor : Catherine Oriat Connect in order to contact the contributor
Submitted on : Friday, February 28, 2014 - 11:17:39 AM
Last modification on : Tuesday, October 19, 2021 - 11:17:10 PM

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

491

Contact Legal Notice Personal Data

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

Identifiers

Collections

Citation

Export

Share

Metrics

491

Contact Legal Notice Personal Data