Static Fault Localization in Model Transformations
No Thumbnail Available
Files
Date
2015
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
490-506 p. ; 814ko.
Keywords
Vérification de modèles (informatique), Transformations de modèle, Modélisation Eclipse, Modèle Soft. System, Techniques de mutation