Buscar
Mostrando ítems 1-10 de 16
Artículo
Spectrum-Based Fault Localization in Model Transformations
(ACM, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques ...
Ponencia
A Template–Based Approach to Describing Metamorphic Relations
(IEEE Computer Society, 2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different executions of the program under test, called metamorphic relations. In a recent survey, we ...
Ponencia
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
(IEEE Computer Society, 2010)
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic involving a number of analysis operations, ...
Artículo
Automated Metamorphic Testing on the Analyses of Feature Models
(Elsevier, 2011)
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. ...
Ponencia
An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
(Universidad de la Laguna, 2017)
Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for manipulating and transforming models. The use of assertions for checking their correctness has ...
Ponencia
WS-Governance Tooling: SOA Governance Policies analysis and authoring
(IEEE Computer Society, 2011)
Governance is a capital issue in current Service Oriented Arcuitectures, and governance policies are at its base. The governance policies definition must be supported by proper languages and tools, allowing for comfortable ...
Artículo
Metamorphic Testing of RESTful Web APIs
(IEEE Computer Society, 2017)
Web Application Programming Interfaces (APIs) allow systems to interact with each other over the network. Modern Web APIs often adhere to the REST architectural style, being referred to as RESTful Web APIs. RESTful Web ...
Artículo
Automated inference of likely metamorphic relations for model transformations
(Elsevier, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms for manipulating and transforming models. Checking whether the output of a model transformation is ...
Artículo
Integrando las Matrices RASCI en BPMN para la Gestión de la Responsabilidad
(ATI: Asociación de técnicos de Informática, 2012)
Las organizaciones necesitan gestionar qué responsabilidad tienen sus empleados sobre cada una de las actividades que se llevan a cabo diariamente en la empresa. Para ello se utilizan las matrices RACI (Responsable, ...
Ponencia
Automatic Generation of a Data-Centered View of Business Processes
(Springer, 2011)
Most commonly used business process (BP) notations, such as BPMN, focus on defining the control flow of the activities of a BP, i.e., they are activity-centered. In these notations, data play a secondary role, just as ...