Buscar
Mostrando ítems 11-20 de 74
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
Variability management in an unaware software product line company: an experience report (Slide)
(VaMOS Workshops, 2014)
Tesis Doctoral
Automated analysis of software product lines with orthogonal variability models: Extending the fama ecosystem
(2012-02-20)
La ingeniería de líneas de producto software es un paradigma de desarrollo de software que permite la creación de una familia de productos software por medio de la reutilización de un conjunto común de activos software. ...
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
Process Mining to Unleash Variability Management: Discovering Configuration Workflows Using Logs
(Association for Computing Machinery (ACM), 2019)
Variability models are used to build configurators. Configurators are programs that guide users through the configuration process to reach a desired configuration that fulfils user requirements. The same variability ...
Ponencia
Towards Anomaly Explanation in Feature Models
(CEUR-WS, 2013)
Feature models are a wide-spread approach to variability and commonality management in software product lines. Due to the increasing size and complexity of feature models, anomalies in terms of inconsistencies and ...
Ponencia
RESDEC: Online Management Tool for Implementation Components Selection in Software Product Lines Using Recommender Systems
(ACM: Association for Computing Machinery, 2019)
Software product lines (SPL) management is one of the most im portant activities for the software engineer and it represents one of the key pieces of software product line engineering. When a software system grow fast, ...
Artículo
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
Variability Management in a Software Product Line Unaware Company: Towards a Real Evaluation
(ACM: Association for Computing Machinery, 2019)
Software Product Lines (SPL) enable systematic reuse within an organization thus, enabling the reduction of costs, efforts, develop ment time and the average number of defects per product. However, there is little empirical ...