Static Fault Localization in Model Transformations

Simple item page
dc.contributor.authorBurgueno, Loli
dc.contributor.authorTroya, Javier
dc.contributor.authorWimmer, Manuel
dc.contributor.authorVallecillo, Antonio
dc.date.accessioned2022-03-17T12:51:45Z
dc.date.available2022-03-17T12:51:45Z
dc.date.issued2015
dc.description490-506 p. ; 814ko.en_US
dc.identifier.issn0098-5589
dc.identifier.urihttp://repository.usthb.dz//xmlui/handle/123456789/9127
dc.language.isoenen_US
dc.publisherInstitute of electrical and electronics engineersen_US
dc.subjectVérification de modèles (informatique)en_US
dc.subjectTransformations de modèleen_US
dc.subjectModélisation Eclipseen_US
dc.subjectModèle Soft. Systemen_US
dc.subjectTechniques de mutationen_US
dc.titleStatic Fault Localization in Model Transformationsen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
nl3232.pdf
Size:
813.89 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Articles Électroniques