Skip to Main content Skip to Navigation
New interface
Conference papers

UML/OCL based impact analysis to test evolving critical software

Elizabeta Fourneret 1 Fabrice Bouquet 1 
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
Document type :
Conference papers
Complete list of metadata
Contributor : Fabrice Bouquet Connect in order to contact the contributor
Submitted on : Wednesday, December 7, 2011 - 2:59:28 PM
Last modification on : Friday, January 21, 2022 - 3:08:56 AM


  • HAL Id : hal-00649252, version 1


Elizabeta Fourneret, Fabrice Bouquet. UML/OCL based impact analysis to test evolving critical software. 10th International Conference Society for Electronics, Telecommunications, Automatics and Informatics - ETAI'11, Sep 2011, Ohrid, Macedonia. ⟨hal-00649252⟩



Record views