Using Traceability to Enhance Mutation Analysis Dedicated to Model Transformation

Vincent Aranega 1 Jean-Marie Mottu 2 Anne Etien 1 Jean-Luc Dekeyser 1
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
2 LINA - Laboratoire d'Informatique de Nantes Atlantique
Type de document :
Communication dans un congrès
Workshop on Model driven Engineering Verification and Validation, Oct 2010, Olso, Norway. 2010
Liste complète des métadonnées
https://hal.inria.fr/inria-00524150
Contributeur : Mister Dart <>
Soumis le : jeudi 7 octobre 2010 - 10:04:22
Dernière modification le : jeudi 5 avril 2018 - 10:36:49

Identifiants

  • HAL Id : inria-00524150, version 1

Collections

INRIA | LINA-COLOSS | UNIV-NANTES | LINA | LINA-AELOS | UNIV-LILLE3

Citation

Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser. Using Traceability to Enhance Mutation Analysis Dedicated to Model Transformation. Workshop on Model driven Engineering Verification and Validation, Oct 2010, Olso, Norway. 2010. 〈inria-00524150〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

251

Contact


archive-ouverte@inria.fr