Buscar
Mostrando ítems 1-10 de 34
Artículo
Spectrum-based fault localization in software product lines
(Elsevier, 2018)
Context: Software Product Line (SPL) testing is challenging mainly due to the potentially huge number of products under test. Most of the research on this field focuses on making testing affordable by selecting a ...
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
Automated analysis of feature models 20 years later: a literature review
(2010)
Software product line engineering is about producing a set of related products that share more commonalities than variabilities. Feature models are widely used for variability and commonality management in software ...
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, ...
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 ...
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 ...
Artículo
TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs
(IEEE Computer Society, 2020)
The detection of performance bugs, like those causing an unexpected execution time, has gained much attention in the last years due to their potential impact in safety-critical and resource-constrained applications. Much ...
Artículo
A Survey on Metamorphic Testing
(2016-02-29)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the expected output. This is not always practical, for example when a program’s input-output relation is ...