Model-Based Testing for Functional and Security Test Generation - Inria - Institut national de recherche en sciences et technologies du numérique
Chapitre D'ouvrage Année : 2014

Model-Based Testing for Functional and Security Test Generation

Domaines

Génie logiciel [cs.SE]

Fabrice Bouquet  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01093442

Soumis le : mercredi 10 décembre 2014-16:21:08

Dernière modification le : lundi 11 septembre 2023-17:41:18

Fichier non déposé

Dates et versions

hal-01093442 , version 1 (10-12-2014)

Identifiants

Citer

Fabrice Bouquet, Fabien Peureux, Fabrice Ambert. Model-Based Testing for Functional and Security Test Generation. Alessandro Aldini; Javier Lopez; Fabio Martinelli. Foundations of Security Analysis and Design VII, 8604, Springer International Publishing, pp.33, 2014, LNCS, 978-3-319-10081-4. ⟨10.1007/978-3-319-10082-1_1⟩. ⟨hal-01093442⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-FCOMTE UNIV-BM FEMTO-ST UNIV-BM-THESE UNIV-LORRAINE INRIA2 LORIA LORIA-FM
309 Consultations
0 Téléchargements

Altmetric

Partager

More