Data

NameBenavides Cuevas, David Felipe
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryCatedrático de Universidad
E-mailRequest
           

  Statistics

  • Items

    116

  • Visits

    8199

  • Downloads

    13967

  Publications

 

PhD Thesis
Icon

Configuration Analysis for Large Scale Feature Models: Towards Speculative-Based Solutions

Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Vidal Silva, Cristian (2021-07-07)
Los sistemas de alta variabilidad son sistemas de software en los que la gestión de la variabilidad es una actividad ...
Article
Icon

Using Scratch to Improve Learning Programming in College Students: A Positive Experience from a Non-WEIRD Country

Cárdenas Cobo, Jessenia del Pilar; Puris, Amilkar; Novoa Hernández, Pavel; Parra Jiménez, Águeda; Moreno León, Jesús; Benavides Cuevas, David Felipe (MDPI, 2021-01-01)
Teaching computer programming is a real challenge in the State University of Milagro (UNEMI), located in one of the ...
Article
Icon

Discovering configuration workflows from existing logs using process mining

Ramos Gutiérrez, Belén; Varela Vaca, Ángel Jesús; Galindo Duarte, José Ángel; Gómez López, María Teresa; Benavides Cuevas, David Felipe (Springer, 2021-01-01)
Variability models are used to build configurators, for guiding users through the configuration process to reach the desired ...
Article
Icon

DirectDebug: A software package for the automated testing and debugging of feature models

Le, Viet-Man; Felfernig, Alexander; Tran, Thi Ngoc Trang; Atas, Müslüm; Uta, Mathias; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (Elsevier, 2021-01-01)
Complex and large-scale feature models can become faulty, i.e., do not represent the expected variability properties of ...
Article
Icon

DirectDebug: Automated Testing and Debugging of Feature Models

Le, Viet-Man; Felfernig, Alexander; Uta, Mathias; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel; Tran, Thi Ngoc Trang (Cornell University, 2021-01-01)
Variability models (e.g., feature models) are a common way for the representation of variabilities and commonalities of ...
Article
Icon

Empirical Evidence of the Usage of Programming Languages in the Educational Process

Vinueza Morales, Mariuxi; Borrego Núñez, Diana; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (IEEE Computer Society, 2021-01-01)
Contribution: A systematic literature review on the empirical evidence regarding the usage of programming languages for ...
Presentation
Icon

Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems

Horcas Aguilera, José Miguel; Márquez, A. Germán; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (CEUR Workshop Proceedings (CEUR-WS.org), 2021-01-01)
Highly configurable systems expose numerous variation points to be configured by the stakeholders. Deciding which variant to ...
PhD Thesis
Icon

Enhancing the learning of programming using Scratch: a recommender-systems-based approach in non WEIRD communities

Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel; Cárdenas Cobo, Jessenia del Pilar (2020-06-17)
In today’s world, there is a growing need for professionals with computer skills in general, and programming in particular. ...
Presentation
Icon

A Parallelized Variant of Junker’s QUICKXPLAIN Algorithm

Vidal Silva, Cristian; Felfernig, Alexander; Galindo Duarte, José Ángel; Atas, Müslüm; Benavides Cuevas, David Felipe (Springer, 2020-01-01)
Conflict detection is used in many scenarios ranging from interactive decision making to the diagnosis of potentially ...
Presentation
Icon

Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance

Vidal Silva, Cristian; Galindo Duarte, José Ángel; Giráldez Cru, Jesús; Benavides Cuevas, David Felipe (Springer, 2020-01-01)
The completion of partial configurations might represent an expensive computational task. Existing solutions, such as those ...
Presentation
Icon

Functional Testing of Conflict Detection and Diagnosis Tools in Feature Model Configuration: A Test Suite Design

Vidal Silva, Cristian; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Università degli Studi di Padova, 2020-01-01)
Presentation
Icon

Configuration assisted through conversational agents (chatbots and voicebots)

Alfonso, Nicolás; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Università degli Studi di Padova, 2020-01-01)
Article
Icon

Empirical software product line engineering: A systematic literature review

Chacón Luna, Ana Eva; Gutiérrez, Antonio Manuel; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Elsevier, 2020-01-01)
Context: The adoption of Software Product Line Engineering (SPLE) is usually only based on its theoretical benefits instead ...
Article
Icon

Open Source Adoption Factors-A Systematic Literature Review

Rea Sánchez, Víctor; Neira Ayuso, Pablo; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (IEEE Computer Society, 2020-01-01)
Nowadays, Free/Libre/OpenSource Software (FLOSS) is becoming a strategic option for many organizations in the public and ...
Article
Icon

Recommender Systems and Scratch: An integrated approach for enhancing computer programming learning

Cárdenas Cobo, Jessenia del Pilar; Puris, Amilkar; Novoa Hernández, Pavel; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (IEEE Computer Society, 2020-01-01)
Learning computer programming is a challenging process. Among the current approaches for overcoming this challenge, visual ...
Presentation
Icon

Uniform and scalable SAT-sampling for configurable systems

Heradio, Ruben; Fernández Amorós, David; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Association for Computing Machinery (ACM), 2020-01-01)
Several relevant analyses on configurable software systems remain intractable because they require examining vast and ...
PhD Thesis
Icon

On the selection and analysis of software product line implementation components using intelligent techniques

Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel; Rodas Silva, Jorge Luis (2019-12-04)
En los últimos años y con el creciente avance tecnológico, las empresas ya no se centran exclusivamente en diseñar un ...
Article
Icon

Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress

Rodas Silva, Jorge Luis; Galindo Duarte, José Ángel; García Gutiérrez, Jorge; Benavides Cuevas, David Felipe (IEEE Computer Society, 2019-01-01)
In software products line (SPL), there may be features which can be implemented by different components, which means there ...
Presentation
Icon

A general approach to Software Product Line testing

Ruiz, Elvira G.; Ayerdi, Jon; Galindo Duarte, José Ángel; Arrieta, Aitor; Sagardui, Goiuria; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019-01-01)
Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm ...
Presentation
Icon

Accessibility Variability Model: The UTPL MOOC Case Study

Rodríguez, Germania; Pérez, Jennifer; Benavides Cuevas, David Felipe (Association for Computing Machinery (ACM), 2019-01-01)
Several approaches to define Variability Models (VM) of non-functional requirements or quality attributes have been proposed. ...
Article
Icon

Modeling Variability in the Video Domain: Language and Experience Report

Alférez, Mauricio; Acher, Mathieu; Galindo Duarte, José Ángel; Baudry, Benoit; Benavides Cuevas, David Felipe (Springer, 2019-01-01)
In an industrial project, we addressed the challenge of developing a software-based video generator such that consumers ...
Presentation
Icon

Variabilidad en visualización de datos: retos y posibilidades

Galindo Duarte, José Ángel; Ruiz, Elvira G.; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019-01-01)
Los sistemas de visualización de la información nos permiten visualizar datos usando abstracciones de los mismos, por ...
Article
Icon

Automated analysis of feature models: Quo vadis?

Galindo Duarte, José Ángel; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Gutiérrez Fernández, Antonio Manuel; Ruiz Cortés, Antonio (Springer, 2018-01-01)
Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a ...
Article
Icon

Anytime diagnosis for reconfiguration

Felfernig, Alexander; Rouven, Walter; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Polat Erdeniz, Seda; Atas, Müslüm; Reiterer, Stefan (Springer, 2018-01-01)
Many domains require scalable algorithms that help to determine diagnoses efficiently and often within predefined time ...
Presentation
Icon

Automated analysis of feature models: current state and practices

Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (Association for Computing Machinery (ACM), 2018-01-01)
Software Product Lines (SPLs) are about developing a set of different software products that share some common functionality. ...
Presentation
Icon

MOTIV: selección de pruebas para algoritmos de detección de movimiento en vídeos usando técnicas de líneas de productos software

Galindo Duarte, José Ángel; Alférez, Mauricio; Acher, Mathieu; Baudry, Benoit; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018-01-01)
Las líneas de producto software se usan para gestionar la producción de sistemas software con un alto grado de variabilidad ...
Chapter of Book
Icon

Recommending exercises in Scratch: an integrated approach for enhancing the learning of computer programming

Auer, Michael E.; Kim, Kwang-Sun; Cárdenas Cobo, Jessenia del Pilar; Novoa Hernández, Pavel; Puris, Amilkar; Benavides Cuevas, David Felipe (Springer, 2018-01-01)
In this chapter we focused on how to improve the learning of computer programming in college students. From the reported ...
Article
Icon

Selección de configuraciones de despliegue usando Sistemas de Recomendación en Android

Rodas, Jorge L.; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Soriano, Robert (Scielo.org, 2018-01-01)
Los sistemas de alta variabilidad son sistemas de software que describen una gran cantidad de configuraciones. Gestionar ...
Presentation
Icon

RESDEC: Un prototipo de herramienta para la selección de configuraciones de despliegue basada en Sistemas de Recomendación

Rodas, Jorge L.; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018-01-01)
Los sistemas de alta variabilidad son sistemas que representan cientos de configuraciones distintas. En un contexto ...
Presentation
Icon

Cómo gestionan la variabilidad las empresas que no conocen de líneas de producto software: hacia una evaluación real

Chacón Luna, Ana Eva; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017-01-01)
Las líneas de producto software tienen como prioridad alcanzar la reutilización sistemática dentro de una organización ...
Presentation
Icon

Programación con la herramienta SCRATCH +CARAMBA. Una experiencia de aprendizaje significativo

Cárdenas, Jessenia; Benavides Cuevas, David Felipe; D'Armas, Mayra; Vinueza Morales, Mariuxi (Latin American and Caribbean Consortium of Engineering Institutions, 2017-01-01)
El alto índice de reprobados es un problema generalizado en la enseñanza de la programación en los espacios educativos ...
Presentation
Icon

Exploiting the Enumeration of All Feature Model Configurations

Galindo Duarte, José Ángel; Acher, Mathieu; Tirado, Juan Manuel; Vidal, Cristian; Baudry, Benoit; Benavides Cuevas, David Felipe (ACM, 2016-01-01)
.Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional ...
Article
Icon

Testing variability-intensive systems using automated analysis: an application to Android

Galindo Duarte, José Ángel; Turner, Hamilton; Benavides Cuevas, David Felipe; White, Jules (Springer, 2016-01-01)
Software product lines are used to develop a set of software products that, while being different, share a common set of ...
Article
Icon

Traceability Analyses between Features and Assets in Software Product Lines

Khandu Narwane, Ganesh; Galindo Duarte, José Ángel; Narayanan Krishna, Shankara; Benavides Cuevas, David Felipe; Millo, Jean-Vivien; Ramesh, S. (MDPI, 2016-01-01)
In a Software Product Line (SPL), the central notion of implementability provides the requisite connection between ...
Presentation
Icon

El uso de modelos de características con atributos para pruebas en sistemas de alta variabilidad: primeros pasos

Vinueza Morales, Mariuxi; Rodas, Jorge L.; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016-01-01)
Los modelos de características con atributos representan todos los productos de una línea de productos junto con información ...
Presentation
Icon

Hacia el uso de sistemas de recomendación en sistemas de alta variabilidad

Rodas, Jorge L.; Olivares, Javier; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016-01-01)
Los sistemas de alta variabilidad son sistemas software cuyo comportamiento puede ser personalizado de acuerdo con las ...
Article
Icon

Foreword to the special issue on empirical evidence on software product line engineering

Bagheri, Ebrahim; Benavides Cuevas, David Felipe; Schmid, Klaus; Runeson, Per (Springer, 2016-01-01)
Presentation
Icon

Probando sistemas altamente configurables mediante análisis automático de modelos de características: el caso de Android

Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016-01-01)
PhD Thesis
IconIcon

Evolution, testing and configuration of variability intensive systems

Baudry, Benoit; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (2015-03-04)
One of the key characteristics of software is its ability to be adapted and configured to different scenarios. Recently, ...
Article
Icon

FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing

Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2015-01-01)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ...
Article
Icon

An assessment of search-based techniques for reverse engineering feature models

López Herrejón, Roberto E.; Linsbauer, Lukas; Galindo Duarte, José Ángel; Parejo Maestre, José Antonio; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Egyed, Alexander (Elsevier, 2015-01-01)
Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and ...
Presentation
Icon

JPI Feature Models: Exploring a JPI and FOP Symbiosis for Software Modeling

Vidal Silva, Cristian; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel; Leger, Paul; Villaroel, Rodolfo; Valenzuela, Sebastián (IEEE Computer Society, 2015-01-01)
Looking for a complete modular software development paradigm, this article presents Join Point Interface JPI Feature Models, ...
Presentation
Icon

Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line

Vidal, Cristian; Benavides Cuevas, David Felipe; Leger, Paul; Galindo Duarte, José Ángel; Fukuda, Hiroaki (ACM, 2015-01-01)
Feature-oriented programming (FOP) and aspect-oriented programming (AOP) focus on to modularize incremental classes behavior ...
Article
Icon

Supporting distributed product configuration by integrating heterogeneous variability modeling approaches

Galindo Duarte, José Ángel; Dhungana, Deepak; Rabiser, Rick; Benavides Cuevas, David Felipe; Botterweck, Goetz; Grünbacher, Paul (Elsevier, 2015-01-01)
Context In industrial settings products are developed by more than one organization. Software vendors and suppliers ...
Presentation
Icon

Exploring the Synergies between Join Point Interfaces and Feature-Oriented Programming

Vidal Silva, Cristian; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel; Leger, Paul (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015-01-01)
Feature-oriented programming FOP, and aspect-oriented programming AOP have been used to develop modular software product ...
Presentation
Icon

Hacia las pruebas en sistemas de alta variabilidad utilizando opiniones de los usuarios

Rodas, Jorge L.; Méndez Acuña, David; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Cárdenas, Jessenia (HAL-Inria, 2015-01-01)
Los sistemas de alta variabilidad son sistemas de software que describen una gran cantidad de configuraciones. Este elevado ...
Article
Icon

Automated Generation of Computationally Hard Feature Models Using Evolutionary Algorithms

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2014-01-01)
A feature model is a compact representation of the products of a software product line. The automated extraction of ...
Presentation
Icon

A Variability-Based Testing Approach for Synthesizing Video Sequences

Galindo Duarte, José Ángel; Alférez, Mauricio; Acher, Mathieu; Baudry, Benoit; Benavides Cuevas, David Felipe (ACM, 2014-01-01)
A key problem when developing video processing software is the di culty to test di erent input combinations. In this paper, ...
Article
Icon

Evolving feature model configurations in software product lines

White, Jules; Galindo Duarte, José Ángel; Saxena, Tripti; Dougherty, Brian; Benavides Cuevas, David Felipe; Schmidt, Douglas C. (Elsevier, 2014-01-01)
The increasing complexity and cost of software-intensive systems has led developers to seek ways of reusing software ...
Presentation
Icon

Variability Management in an unaware software product line company: An experience report

Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (ACM, 2014-01-01)
Software product line adoption is a challenging task in software development organisations. There are some reports in the ...
Presentation
Icon

Variability management in an unaware software product line company: an experience report (Slide)

Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (VaMOS Workshops, 2014-01-01)
Presentation
Icon

Automated Analysis of Diverse Variability Models with Tool Support

Roos Frantz, Fabricia; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014-01-01)
Over the past twenty years, there have been many contributions in the area of automated analysis of variability models. ...
Article
Presentation
Icon

Integrating Heterogeneous Variability Modeling Approaches with Invar [Tool Demonstration]

Dhungana, Deepak; Seichter, Dominik; Botterweck, Goetz; Rabiser, Rick; Grünbacher, Paul; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (ACM, 2013-01-01)
There have been several proposals to describe the variability of software product lines by using modeling languages. In ...
Presentation
Icon

Automated Analysis in Feature Modelling and Product Configuration

Benavides Cuevas, David Felipe; Felfernig, Alexander; Galindo Duarte, José Ángel; Reinfrank, Florian (Springer, 2013-01-01)
The automated analysis of feature models is one of the thriving topics of research in the software product line and ...
Presentation
Icon

Towards Anomaly Explanation in Feature Models

Felfernig, Alexander; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel; Reinfrank, Florian (CEUR-WS, 2013-01-01)
Feature models are a wide-spread approach to variability and commonality management in software product lines. Due to the ...
Chapter of Book
Icon

Automated Analysis of Stateful Feature Models

Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe (Springer, 2013-01-01)
In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning ...
PhD Thesis
Icon

Automated analysis of software product lines with orthogonal variability models: Extending the fama ecosystem

Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Roos Frantz, Fabricia (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 ...
Presentation
Icon

FaMa-OVM: a Tool for the Automated Analysis of Ovms

Roos Frantz, Fabricia; Galindo, José A.; Benavides Cuevas, David Felipe (2012-01-01)
Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ...
Presentation
Icon

FaMa-OVM: A Tool for the Automated Analysis of OVMs

Roos Frantz, Fabricia; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (ACM, 2012-01-01)
Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ...
Presentation
Icon

Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study

López Herrejón, Roberto E.; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Egyed, Alexander (Springer, 2012-01-01)
Successful software evolves, more and more commonly, from a single system to a set of system variants tailored to meet the ...
Presentation
Icon

BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models

Segura Rueda, Sergio; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (ACM, 2012-01-01)
The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and ...
Article
Icon

Quality-Aware Analysis in Product Line Engineering with the Orthogonal Variability Model

Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Heuer, André; Lauenroth, Kim (Springer Verlag, 2012-01-01)
Software product line engineering (SPLE) is about producing a set of similar products in a certain domain. A variability ...
Article
Icon

Consistency maintenance for evolving feature models

Guo, Jianmei; Wang, Yinglin; Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe (Elsevier, 2012-01-01)
Software product line (SPL) techniques handle the construction of customized systems. One of the most common representations ...
Article
Icon

Software diversity: state of the art and perspectives

Shaefer, Ina; Rabiser, Rick; Clarke, Dave; Bettini, Lorenzo; Benavides Cuevas, David Felipe; Botterweck, Goetz; Pathak, Animesh; Trujillo, Salvador; Villela, Karina (Springer, 2012-01-01)
Diversity is prevalent in modern software systems to facilitate adapting the software to customer requirements or the ...
Presentation
Icon

BeTTy: Un Framework de Pruebas para el Análisis Automático de Modelos de Características

Segura Rueda, Sergio; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Parejo Maestre, José Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012-01-01)
El análisis automático de modelos de características es un área de investigación activo que ha llamado la atencíon de ...
Report
Icon

ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.2): Technical Report ISA-2012-TR-05

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2012-01-01)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ...
Report
Icon

FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02

Durán Toro, Amador; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2012-01-01)
Software product lines are rapidly gaining importance across different application domains. This software production ...
Article
Icon

Automated Metamorphic Testing on the Analyses of Feature Models

Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2011-01-01)
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of ...
Article
Icon

Mutation Testing on An Object-Oriented Framework: An Experience Report

Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2011-01-01)
Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the ...
Article
Icon

Functional Testing of Feature Model Analysis Tools: a Test Suite

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio (Institution of Engineering and Technology, 2011-01-01)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...
Presentation
Icon

Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches

Dhungana, Deepak; Seichter, Dominik; Botterweck, Goetz; Rabiser, Rick; Grünbacher, Paul; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (IEEE Computer Society, 2011-01-01)
In industrial settings, products are rarely built by one organization alone. Software vendors and suppliers typically maintain ...
PhD Thesis
Icon

Automated Analysis of Software Product Lines with Orthogonal Variability Models : Extending the FaMa Ecosystem

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Carneiro Roos, Fabricia (2011-01-01)
Presentation
Icon

Automated Diagnosis of Feature Model Configurations

White, Jules; Schmidt, Douglas C.; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2011-01-01)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...
Article
Icon

Automated Diagnosis of Feature Model Configurations

White, Jules; Benavides Cuevas, David Felipe; Schmidt, Douglas C.; Trinidad Martín Arroyo, Pablo; Dougherty, Brian; Ruiz Cortés, Antonio (Elsevier, 2010-01-01)
Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. ...
Article
Icon

Automated analysis of feature models 20 years later: a literature review

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2010-01-01)
Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ...
Presentation
Icon

Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis

Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Segura Rueda, Sergio (2010-01-01)
The automated analysis of variability models in general and feature models in particular is a thriving research topic. ...
Presentation
Icon

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach

Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (IEEE Computer Society, 2010-01-01)
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction ...
PhD Thesis
IconIcon

Functional and performance testing of feature model analysis tools Extending the fama ecosystem

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio (2010-01-01)
La ingeniería de líneas de productos es un paradigma de desarrollo orientado a construir familias de sistemas software que ...
Presentation
Icon

Automated Analysis of Orthogonal Variability Models Using Constraint Programming.

Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2010-01-01)
Software Product Line (SPL) Engineering is about producing a family of products that share commonalities and variabilities. ...
Report
Icon

FaMa Test Suite v1.2: ISA Technical Report ISA-10-TR-01

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2010-01-01)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...
Presentation
Icon

Feature Model to Orthogonal Variability Model Transformations. A First Step

Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2009-01-01)
Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ...
Presentation
Icon

Feature Model to Orthogonal Variability Model Transformation Towards Interoperability Between Tools

Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2009-01-01)
Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ...
Presentation
Icon

Automated Reasoning for Multi-step Feature Model Configuration Problems

White, Jules; Dougherty, Brian; Schmidt, Douglas C.; Benavides Cuevas, David Felipe (ACM, 2009-01-01)
The increasing complexity and cost of software-intensive systems has led developers to seek ways of increasing ...
Presentation
Icon

Moskitt FM and FAMA FW: Taking feature models to the next level

Cetina, Carlos; Trinidad Martín Arroyo, Pablo; Pelechano, Vicent; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009-01-01)
Feature modeling is a key technique to model commonalities and variabilities within a Software Product Line (SPL). Tools ...
Presentation
Icon

Three-Dimensional Feature Diagrams Visualization

Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Segura Rueda, Sergio (2008-01-01)
Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ...
Presentation
Icon

Functional Testing of Feature Model Analysis Tools. A First Step

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2008-01-01)
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement ...
Article
Icon

Automated Error Analysis for the Agilization of Feature Modeling

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Elsevier, 2008-01-01)
Presentation
Icon

Fama Framework

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio; Jiménez, Alberto (2008-01-01)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ...
Presentation
Icon

Variability Modelling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project

Hubaux, A.; Heymans, P.; Benavides Cuevas, David Felipe (IEEE Computer Society, 2008-01-01)
Variability models, feature diagrams ahead, have become commonplace in the software product lines engineering literature. ...
Presentation
Icon

Automated Diagnosis of Product-line Configuration Errors in Feature Models

White, Jules; Schmidt, Douglas C.; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (IEEE Computer Society, 2008-01-01)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...
Presentation
Icon

From Requirements to Web System Design. An Automated Approach Using Graph Transformations

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Escalona Cuaresma, María José (2007-01-01)
Building Web design models from requirements specification is recognised as a timeconsuming and error-prone task. in this ...
Presentation
Icon

Mapping Feature Models Onto Component Models to Build Dynamic Software Product Lines

Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Peña Siles, Joaquín; Benavides Cuevas, David Felipe (2007-01-01)
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and ...
Presentation
Icon

Automated Merging of Feature Models using Graph Transformations

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ...
Presentation
Icon

Towards Automated Refactoring of Feature Models Using Graph Transformations

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature ...
Presentation
Icon

Open Source Tools for Software Product Line Development

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ...
Presentation
Icon

Fama: Tooling a Framework for the Automated Analysis of Feature Models

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2007-01-01)
The automated analysis of feature models is recognized as one of the key challenges for automated software development in ...
Presentation
Icon

A Taxonomy of Variability in Web Service Flows

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ...
PhD Thesis
IconIcon

On the automated analysis of software product lines using feature models: a framework for developing automated tool support

Ruiz Cortés, Antonio; Durán Toro, Amador; Benavides Cuevas, David Felipe (2007-01-01)
En los últimos años, ha habido un gran empuje por parte de la comunidad investigadora en torno a una nueva línea de ...
Presentation
Icon

FAMA: hacia el análisis automático de modelos de características

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007-01-01)
Chapter of Book
Icon

Telvent

Linden, Frank van der; Schmid, Klaus; Rommes, Eelco; Bermejo, Jesús; Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Springer, 2007-01-01)
Presentation
Icon

Isolated Features Detection in Feature Models

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2006-01-01)
Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, ...
Presentation
Icon

A Survey on the Automated Analyses of Feture Models

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo; Segura Rueda, Sergio (2006-01-01)
Feature models are one of the most important assets in software product line engineering when capturing variability. ...
Presentation
Icon

Explanations for Agile Feature Models

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio; Toro Bonilla, Miguel (2006-01-01)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ...
Presentation
Icon

A First Step Towards a Framework for the Automated Analysis of Feature Models

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2006-01-01)
Feature modelling is a common mechanism for variability management in the context of software product lines. After years ...
Article
Icon

Automated analysis of feature models: challenges ahead

Batory, Don; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (ACM, 2006-01-01)
Presentation
Icon

Using Java Csp Solvers in the Automated Analyses of Feature Models

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2005-01-01)
Feature Models are used in different stages of software development and are recognized to be an important asset in model ...
Presentation
Icon

Using Constraint Programming to Reason on Feature Models

Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2005-01-01)
Feature models have been cited as one of the main contributions to model software product families. However, there is still ...
Presentation
Icon

The Triple Schizophrenia of the Software Engineering Researcher

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Müller Cejás, Carlos (2005-01-01)
In this paper we question the problem of a software engineering researcher, who in his daily work, has to deal with ...
Presentation
Icon

Automated reasoning on feature models

Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2005-01-01)
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL ...
Presentation
Icon

Improving Decision Making in Software Product Lines Product Plan Management

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2004-01-01)
The increasing demand on developing Software Product Lines (SPL) has given a lot of interest to software engineering ...
Presentation
Icon

A First Approach to Build Product Lines of Multi-organizationalWeb Based Systems (MOWS)

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Serrano, Miguel A.; Montes de Oca Vázquez, Carlos (Springer, 2004-01-01)
From the recent past and current state of the Internet, it is possible to forecast a wide growing of Multi Organizational ...
Article
Icon

Automating the Procurement of Web Services

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Durán Toro, Amador; Benavides Cuevas, David Felipe; Toro Bonilla, Miguel (Springer Verlag, 2003-01-01)
As government agencies and business become more dependent on web services, software solutions to automate their procurement ...
Article
Icon

A Quality-Aware Approach to Web Services Procurement

Martín Díaz, Octavio; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Durán Toro, Amador; Toro Bonilla, Miguel (Springer Verlag, 2003-01-01)
Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ...
Presentation
Icon

Applying System Families Concepts to Requirements Engineering Process Definition

Durán Toro, Amador; Benavides Cuevas, David Felipe; Bermejo, Jesús (Springer, 2003-01-01)
In this paper, some experiences gained during the definition of a unified, common software development process for several ...
Presentation
Icon

Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2002-01-01)