Fault Localization With Weighted Test Model in Model Transformations | IEEE Journals & Magazine | IEEE Xplore