 |
 |
 |
 |
|
|
|
|
| HAL : inria-00524150, version 1 |
| Voir la fiche détaillée |  BibTeX,EndNote,... |
 |
| Workshop on Model driven Engineering Verification and Validation, Olso : Norvège (2010) |
|
|
|
|
| Using Traceability to Enhance Mutation Analysis Dedicated to Model Transformation |
|
|
| Vincent Aranega 1Jean-Marie Mottu 2 |
|
|
| (03/10/2010) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | DART (INRIA Lille - Nord Europe) |
|
|
|
INRIA – CNRS : UMR8022 – Université Lille I - Sciences et technologies |
|
|
| 2 : | Laboratoire d'Informatique de Nantes Atlantique (LINA) |
|
|
|
CNRS : UMR6241 – Université de Nantes – École Nationale Supérieure des Mines - Nantes |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Systèmes embarqués Informatique/Génie logiciel |
| inria-00524150, version 1 | |
| http://hal.inria.fr/inria-00524150 | |
| oai:hal.inria.fr:inria-00524150 | |
| Contributeur : Mister Dart | |
| Soumis le : Jeudi 7 Octobre 2010, 10:04:22 | |
| Dernière modification le : Jeudi 7 Octobre 2010, 10:04:22 | |
