dc.creator | Troya Castilla, Javier | es |
dc.creator | Bergmayr, Alexander | es |
dc.creator | Burgueño, Loli | es |
dc.creator | Wimmer, Manuel | es |
dc.date.accessioned | 2018-04-24T08:03:58Z | |
dc.date.available | 2018-04-24T08:03:58Z | |
dc.date.issued | 2015 | |
dc.identifier.citation | Troya Castilla, J., Bergmayr, A., Burgueño, L. y Wimmer, M. (2015). Towards Systematic Mutations for and with ATL Model Transformations. En ICSTW 2015: IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (1-10), Graz, Austria: IEEE Computer Society. | |
dc.identifier.isbn | 978-1-4799-1885-0 | es |
dc.identifier.uri | https://hdl.handle.net/11441/73402 | |
dc.description.abstract | Model transformation is a key technique to automate
software engineering tasks, such as generating implementations
of software systems from higher-level models. To enable
this automation, transformation engines are used to synthesize
various types of software artifacts from models, where the rules
according to which these artifacts are generated are implemented
by means of dedicated model transformation languages. Hence,
the quality of the generated software artifacts depends on the
quality of the transformation rules applied to generate them.
Thus, there is the need for approaches to certify their behavior
for a selected set of test models. As mutation analysis has proven
useful as a practical testing approach, we propose a set of
mutation operators for the ATLAS Transformation Language
(ATL) derived by a comprehensive language-centric synthesis
approach. We describe the rationale behind each of the mutation
operators and propose an automated process to generate mutants
for ATL transformations based on a combination of generic
mutation operators and higher-order transformations. Finally,
we describe a cost-effective solution for executing the obtained
mutants. | es |
dc.description.sponsorship | European Commission ICT Policy Support Programme 317859 | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN2011-23795 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | IEEE Computer Society | es |
dc.relation.ispartof | ICSTW 2015: IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (2015), p 1-10 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Mutation | es |
dc.subject | Model Transformations | es |
dc.subject | ATL | es |
dc.subject | Higher- Order Transformations | es |
dc.title | Towards Systematic Mutations for and with ATL Model Transformations | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | 317859 (ICT Policy Support Programme) | es |
dc.relation.projectID | TIN2011-23795 | es |
dc.relation.publisherversion | https://ieeexplore.ieee.org/abstract/document/7107455/ | es |
dc.identifier.doi | 10.1109/ICSTW.2015.7107455 | es |
idus.format.extent | 10 | es |
dc.publication.initialPage | 1 | es |
dc.publication.endPage | 10 | es |
dc.eventtitle | ICSTW 2015: IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops | es |
dc.eventinstitution | Graz, Austria | es |
dc.relation.publicationplace | New York, USA | es |
dc.contributor.funder | European Commission (EC) | |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | |