SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models

Elizabeta Fourneret; Jérome Cantenot; Fabrice Bouquet; Bruno Legeard; Julien Botella

doi:10.1109/SERE.2014.28

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models

Elizabeta Fourneret ¹ Jérome Cantenot ^{2, 1} Fabrice Bouquet ^{2, 1} Bruno Legeard ³ Julien Botella ³

1 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

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

3 Smartesting

Type de document :

Communication dans un congrès

Software Security and Reliability (SERE), Jun 2014, San Francisco, CA, France. pp.19, 2014, Software Security and Reliability (SERE), 2014 Eighth International Conference on. 〈10.1109/SERE.2014.28〉

Domaine :

Informatique [cs] / Génie logiciel [cs.SE]

Liste complète des métadonnées

https://hal.inria.fr/hal-01093493
Contributeur : Fabrice Bouquet <>
Soumis le : mercredi 10 décembre 2014 - 16:58:18
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models

Identifiants

Collections

Citation

Exporter

Métriques

250

Contact

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models

Identifiants

Collections

Citation

Exporter

Partager

Métriques

250

Contact