Static Fault Localization in Model Transformations

Burgueno, Loli; Troya, Javier; Wimmer, Manuel; Vallecillo, Antonio

dc.contributor.author	Burgueno, Loli
dc.contributor.author	Troya, Javier
dc.contributor.author	Wimmer, Manuel
dc.contributor.author	Vallecillo, Antonio
dc.date.accessioned	2022-03-17T12:51:45Z
dc.date.available	2022-03-17T12:51:45Z
dc.date.issued	2015
dc.identifier.issn	0098-5589
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/9127
dc.description	490-506 p. ; 814ko.	en_US
dc.language.iso	en	en_US
dc.publisher	Institute of electrical and electronics engineers	en_US
dc.subject	Vérification de modèles (informatique)	en_US
dc.subject	Transformations de modèle	en_US
dc.subject	Modélisation Eclipse	en_US
dc.subject	Modèle Soft. System	en_US
dc.subject	Techniques de mutation	en_US
dc.title	Static Fault Localization in Model Transformations	en_US
dc.type	Article	en_US