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

Elizabeta Fourneret 1 Jérome Cantenot 2, 1 Fabrice Bouquet 2, 1 Bruno Legeard 3 Julien Botella 3
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, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies
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〉
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 : jeudi 15 février 2018 - 08:48:14

Identifiants

Collections

INRIA | UNIV-FCOMTE | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Elizabeta Fourneret, Jérome Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella. SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. 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〉. 〈hal-01093493〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

225

Contact


archive-ouverte@inria.fr