Buscar
Mostrando ítems 1-1 de 1
Artículo
Static Fault Localization in Model Transformations
(IEEE Computer Society, 2015)
As the complexity of model transformations grows, there is an increasing need to count on methods, mechanisms, and tools for checking their correctness, i.e., the alignment between specifications and implementations. In ...