Buscar
Mostrando ítems 1-10 de 14
Artículo
Performance Metamorphic Testing: A Proof of Concept
(Elsevier, 2018)
Context. Performance testing is a challenging task mainly due to the lack of test oracles, i.e. mechanisms to decide whether the performance of a program is acceptable or not because of a bug. Metamorphic testing enables ...
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 ...
Artículo
Evaluation of Model Transformation Approaches for Model Refactoring
(Elsevier, 2014)
This paper provides a systematic evaluation framework for comparing model transformation approaches, based upon the ISO/IEC 9126-1 quality characteristics for software systems. We apply this framework to compare five ...
Artículo
Model-driven performance analysis of rule-based domain specific visual models
(Elsevier, 2013)
Context: Domain-Specific Visual Languages (DSVLs) play a crucial role in Model-Driven Engineering (MDE). Most DSVLs already allow the specification of the structure and behavior of systems. However, there is also an ...
Artículo
Specification and simulation of queuing network models using Domain-Specific Languages
(Elsevier, 2014)
Queuing Network Models (QNMs) provide powerful notations and tools for modeling and analyzing the performance of many different kinds of systems. Although several powerful tools currently exist for solving QNMs, some ...
Artículo
Model Transformation Modularization as a Many-Objective Optimization Problem
(IEEE Computer Society, 2017)
Model transformation programs are iteratively refined, restructured, and evolved due to many reasons such as fixing bugs and adapting existing transformation rules to new metamodels version. Thus, modular design is a ...
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
Search‐based model transformations
(Wiley, 2016)
Model transformations are an important cornerstone of model‐driven engineering, a discipline which facilitates the abstraction of relevant information of a system as models. The success of the final system mainly depends ...
Artículo
A Rewriting Logic Semantics for ATL
(AITO: Association Internationale pour les Technologies Objets, 2011)
As the complexity of model transformation (MT) grows, the need to rely on formal semantics of MT languages becomes a critical issue. Formal semantics provide precise speci cations of the expected behavior of transformations, ...