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
Document type :
Conference papers
Liste complète des métadonnées
https://hal.inria.fr/inria-00524150
Contributor : Mister Dart <>
Submitted on : Thursday, October 7, 2010 - 10:04:22 AM
Last modification on : Thursday, February 21, 2019 - 10:52:48 AM

Identifiers

  • HAL Id : inria-00524150, version 1

Collections

INRIA | LINA-COLOSS | LINA | LINA-AELOS | UNIV-NANTES | 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. ⟨inria-00524150⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

303

Contact


archive-ouverte@inria.fr