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 (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
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/hal-01093493
Contributor : Fabrice Bouquet <>
Submitted on : Wednesday, December 10, 2014 - 4:58:18 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM

Identifiers

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, ⟨10.1109/SERE.2014.28⟩. ⟨hal-01093493⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

273

Contact


archive-ouverte@inria.fr