Buscar
Mostrando ítems 11-20 de 71
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
SmarTest: A Test Case Prioritization Tool for Drupal
(Association for Computing Machinery (ACM), 2017)
Test case prioritization techniques aim to identify the optimal ordering of tests to accelerate the detection of faults. The importance of these techniques has been recognized in the context of Software Product Lines (SPLs), ...
Artículo
Qos-Aware Web Services Composition Using Grasp with Path Relinking
(Elsevier, 2014)
In service oriented scenarios, applications are created by composing atomic services and exposing the resulting added value logic as a service. When several alternative service providers are available for composition, ...
Ponencia
Domain-Specific Languages and Model Transformations for Soft ware Product Line
(ACM Digital Library, 2017)
is tutorial introduces and demonstrates the use of Model-Driven Engineering in So ware Product Lines. In particular, it teaches participants about domain-speci c languages, metamodeling and modeling, and where these ...
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. ...
Artículo
Mutation Testing on An Object-Oriented Framework: An Experience Report
(Elsevier, 2011)
Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the attention of mutation researchers toward this paradigm. However, while the number of research contributions ...
Ponencia
Search-based mutation testing to improve performance tests
(Association for Computing Machinery (ACM), 2018)
Performance bugs are common and can cause a significant deterio ration in the behaviour of a program, leading to costly issues. To detect them and reduce their impact, performance tests are typi cally applied. However, ...
Artículo
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations was identified as the most relevant challenge in the field. This formalization could provide ...
Ponencia
BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models
(ACM, 2012)
The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and practitioners during the last two decades. During this time, the number of tools and techniques ...