David Benavides

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 69

Top Venues

Publications

David Romero-Organvidez, José A. Galindo, David Benavides
UVL Sentinel: a tool for parsing and syntactic correction of UVL datasets. CoRR (2024)
A. Germán Márquez, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, José A. Galindo, David Benavides
Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT). Comput. Secur. 139 (2024)
Antonio Manuel Gutiérrez-Fernández, Ana Eva Chacón-Luna, David Benavides, Lidia Fuentes, Rick Rabiser
Variability management and software product line knowledge in software companies. J. Syst. Softw. 216 (2024)
José A. Galindo, David Romero-Organvidez, Megha Bhushan, José Miguel Horcas Aguilera, David Benavides
Open Science principles in software product lines: The case of the UVL ecosystem. SPLC (A) (2024)
David Romero-Organvidez, Pablo Neira Ayuso, José A. Galindo, David Benavides
Kconfig metamodel: a first approach. SPLC (B) (2024)
David Romero-Organvidez, José Miguel Horcas, José A. Galindo, David Benavides
Data visualization guidance using a software product line approach. J. Syst. Softw. 213 (2024)
David Fernández-Amorós, Ruben Heradio, José Miguel Horcas Aguilera, José A. Galindo, David Benavides, Lidia Fuentes
Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool. SPLC (A) (2024)
David Romero-Organvidez, David Benavides, José Miguel Horcas, María Teresa Gómez-López
Variability in data transformation: towards data migration product lines. VaMoS (2024)
Salvador Muñoz-Hermoso, David Benavides, Francisco José Domínguez Mayo
Multi-level configuration in smart governance systems. ConfWS (2023)
Raul Medeiros, Oscar Díaz, David Benavides
Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead. GPCE (2023)
Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis. AAAI (2023)
Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm
Second Tutorial on the Universal Variability Language. SPLC (A) (2023)
Chico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo, David Benavides
UVLParser: Extending UVL with Language Levels and Conversion Strategies. SPLC (B) (2023)
José A. Galindo, José Miguel Horcas, Alexander Felfering, David Fernández-Amorós, David Benavides
FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models. SPLC (B) (2023)
Sebastian Lubos, Alexander Felfernig, Viet-Man Le, Thi Ngoc Trang Tran, David Benavides, José A. Zamudio, Damian Garber
Analysis Operations On The Run: Feature Model Analysis in Constraint-based Recommender Systems. SPLC (A) (2023)
José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
A Monte Carlo tree search conceptual framework for feature model analyses. J. Syst. Softw. 195 (2023)
José Manuel Sánchez Ruiz, Francisco José Domínguez Mayo, Xavier Oriol, José Francisco Crespo, David Benavides, Ernest Teniente
A Benchmarking Proposal for DevOps Practices on Open Source Software Projects. CoRR (2023)
Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
FastDiagP: An Algorithm for Parallelized Direct Diagnosis. CoRR (2023)
José A. Galindo, Antonio J. Dominguez, Jules White, David Benavides
Large Language Models to generate meaningful feature model instances. SPLC (A) (2023)
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory
Uniform and scalable sampling of highly configurable systems. Empir. Softw. Eng. 27 (2) (2022)
Ana Eva Chacón-Luna, Antonio Manuel Gutiérrez-Fernández, David Benavides, Lidia Fuentes
Design for the analysis of variability management in the industry. SPLC (B) (2022)
José Miguel Horcas, Ángela Villota, David Benavides, Philippe Collet
Fifth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2022). SPLC (A) (2022)
José Miguel Horcas, José A. Galindo, David Benavides
Variability in data visualization: a software product line approach. SPLC (A) (2022)
A. Germán Márquez, José A. Galindo, Ángel Jesús Varela-Vaca, María Teresa Gómez López, David Benavides
Advisory: vulnerability analysis in software development project dependencies. SPLC (B) (2022)
José Miguel Horcas, José Angel Galindo, Mónica Pinto, Lidia Fuentes, David Benavides
: a configurable and interactive visualization of feature model characterizations. SPLC (B) (2022)
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory
Correction to: Uniform and scalable sampling of highly configurable systems. Empir. Softw. Eng. 27 (2) (2022)
Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm
Tutorial on the universal variability language. SPLC (A) (2022)
David Romero, José A. Galindo, José Miguel Horcas, David Benavides
Variability-aware data migration tool. SPLC (B) (2022)
José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
Monte Carlo tree search for feature model analyses: a general framework for decision-making. SPLC (A) (2021)
Ana Eva Chacón-Luna, Antonio Manuel Gutiérrez-Fernández, José A. Galindo, David Benavides
Empirical software product line engineering: a systematic literature review. an IST journal publication. SPLC (A) (2021)
Belén Ramos-Gutiérrez, Ángel Jesús Varela-Vaca, José A. Galindo, María Teresa Gómez López, David Benavides
Discovering configuration workflows from existing logs using process mining. Empir. Softw. Eng. 26 (1) (2021)
David Romero, José A. Galindo, José Miguel Horcas, David Benavides
A first prototype of a new repository for feature model exchange and knowledge sharing. SPLC (B) (2021)
Mariuxi Vinueza-Morales, Diana Borrego, José A. Galindo, David Benavides
Empirical Evidence of the Usage of Programming Languages in the Educational Process. IEEE Trans. Educ. 64 (3) (2021)
Viet Man Le, Alexander Felfernig, Thi Ngoc Trang Tran, Müslüm Atas, Mathias Uta, David Benavides, José A. Galindo
DirectDebug: A software package for the automated testing and debugging of feature models. Softw. Impacts 9 (2021)
Viet Man Le, Alexander Felfernig, Mathias Uta, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
DIRECTDEBUG: Automated Testing and Debugging of Feature Models. ICSE (NIER) (2021)
Don S. Batory, Jeho Oh, Ruben Heradio, David Benavides
Product Optimization in Stepwise Design. Logic, Computation and Rigorous Methods (2021)
Viet Man Le, Alexander Felfernig, Mathias Uta, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
DirectDebug: Automated Testing and Debugging of Feature Models. CoRR (2021)
José Miguel Horcas Aguilera, A. Germán Márquez, José A. Galindo, David Benavides
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems. ConfWS (2021)
Cristian Vidal, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides
Explanations for over-constrained problems using QuickXPlain with speculative executions. J. Intell. Inf. Syst. 57 (3) (2021)
Alexander Felfernig, Rouven Walter, José A. Galindo, David Benavides, Seda Polat Erdeniz, Muesluem Atas, Stefan Reiterer
Anytime Diagnosis for Reconfiguration. CoRR (2021)
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides
Uniform and scalable SAT-sampling for configurable systems. SPLC (A) (2020)
Mathieu Acher, Philippe Collet, David Benavides, Rick Rabiser
Third International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2020). SPLC (A) (2020)
Cristian Vidal Silva, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides
A Parallelized Variant of Junker's QuickXPlain Algorithm. ISMIS (2020)
José A. Galindo, David Benavides
A Python framework for the automated analysis of feature models: A first step to integrate community efforts. SPLC (B) (2020)
Cristian Vidal Silva, José A. Galindo, Jesús Giráldez-Cru, David Benavides
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance. ISMIS (Industrial Paper) (2020)
Jesennia Cárdenas-Cobo, Amilkar Puris, Pavel Novoa-Hernández, José Angel Galindo, David Benavides
Recommender Systems and Scratch: An Integrated Approach for Enhancing Computer Programming Learning. IEEE Trans. Learn. Technol. 13 (2) (2020)
Víctor Rea Sánchez, Pablo Neira Ayuso, José Angel Galindo, David Benavides
Open Source Adoption Factors - A Systematic Literature Review. IEEE Access 8 (2020)
Ana Eva Chacón-Luna, Antonio Manuel Gutiérrez, José A. Galindo, David Benavides
Empirical software product line engineering: A systematic literature review. Inf. Softw. Technol. 128 (2020)
David Benavides
Variability Modelling and Analysis During 30 Years. From Software Engineering to Formal Methods and Tools, and Back (2019)
Jorge Rodas-Silva, José Angel Galindo, Jorge García-Gutiérrez, David Benavides
RESDEC: online management tool for implementation components selection in software product lines using recommender systems. SPLC (B) (2019)
Jorge Rodas-Silva, José Angel Galindo, Jorge García-Gutiérrez, David Benavides
Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress. IEEE Access 7 (2019)
Michael Lettner, Jorge Rodas-Silva, José Angel Galindo, David Benavides
Automated analysis of two-layered feature models with feature attributes. J. Comput. Lang. 51 (2019)
Germania Rodriguez, Jennifer Pérez, David Benavides
Accessibility variability model: the UTPL MOOC case study. SPLC (B) (2019)
Mauricio Alférez, Mathieu Acher, José Angel Galindo, Benoit Baudry, David Benavides
Modeling variability in the video domain: language and experience report. Softw. Qual. J. 27 (1) (2019)
José Angel Galindo, David Benavides
Towards a new repository for feature model exchange. SPLC (B) (2019)
David Benavides, Rick Rabiser, Don S. Batory, Mathieu Acher
First international workshop on languages for modelling variability (MODEVAR 2019). SPLC (A) (2019)
Ana Eva Chacón-Luna, Elvira García Ruiz, José Angel Galindo, David Benavides
Variability management in a software product line unaware company: towards a real evaluation. SPLC (B) (2019)
Ángel Jesús Varela-Vaca, José Angel Galindo, Belén Ramos-Gutiérrez, María Teresa Gómez López, David Benavides
Process mining to unleash variability management: discovering configuration workflows using logs. SPLC (A) (2019)
José Angel Galindo, David Benavides, Pablo Trinidad, Antonio Manuel Gutiérrez-Fernández, Antonio Ruiz-Cortés
Automated analysis of feature models: Quo vadis? Computing 101 (5) (2019)
José Angel Galindo, David Benavides, Pablo Trinidad, Antonio Manuel Gutiérrez-Fernández, Antonio Ruiz-Cortés
Automated analysis of feature models: quo vadis? SPLC (A) (2019)
Alexander Felfernig, Rouven Walter, José Angel Galindo, David Benavides, Seda Polat Erdeniz, Müslüm Atas, Stefan Reiterer
Anytime diagnosis for reconfiguration. J. Intell. Inf. Syst. 51 (1) (2018)
David Benavides
Variability Management Trends: some ideas to explore. VaMoS (2018)
David Benavides, José Angel Galindo
Automated analysis of feature models: current state and practices. SPLC (2018)
Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. Softw. Syst. Model. 16 (4) (2017)
Ebrahim Bagheri, David Benavides, Klaus Schmid, Per Runeson
Foreword to the special issue on empirical evidence on software product line engineering. Empir. Softw. Eng. 21 (4) (2016)
José Angel Galindo, Hamilton A. Turner, David Benavides, Jules White
Testing variability-intensive systems using automated analysis: an application to Android. Softw. Qual. J. 24 (2) (2016)
Cristian Vidal, David Benavides, Paul Leger, José Angel Galindo, Hiroaki Fukuda
Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line. EAI Endorsed Trans. Scalable Inf. Syst. 3 (10) (2016)
Ganesh Khandu Narwane, José Angel Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh
Traceability Analyses between Features and Assets in Software Product Lines. Entropy 18 (8) (2016)
José Angel Galindo, Mathieu Acher, Juan Manuel Tirado, Cristian Vidal, Benoit Baudry, David Benavides
Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing. SPLC (2016)
Roberto Erick Lopez-Herrejon, Lukas Linsbauer, José Angel Galindo, José Antonio Parejo, David Benavides, Sergio Segura, Alexander Egyed
An assessment of search-based techniques for reverse engineering feature models. J. Syst. Softw. 103 (2015)
Cristian Vidal Silva, José Angel Galindo, Rodolfo Villarroel, David Benavides, Paul Leger, Sebastián Valenzuela
JPI feature models - Exploring a JPI and FOP symbiosis for software modeling. SCCC (2015)
Cristian Vidal, David Benavides, Paul Leger, José Angel Galindo, Hiroaki Fukuda
Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line. BICT (2015)
José Angel Galindo, Deepak Dhungana, Rick Rabiser, David Benavides, Goetz Botterweck, Paul Grünbacher
Supporting distributed product configuration by integrating heterogeneous variability modeling approaches. Inf. Softw. Technol. 62 (2015)
Jules White, José Angel Galindo, Tripti Saxena, Brian Dougherty, David Benavides, Douglas C. Schmidt
Evolving feature model configurations in software product lines. J. Syst. Softw. 87 (2014)
Sergio Segura, José Antonio Parejo, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
Automated generation of computationally hard feature models using evolutionary algorithms. Expert Syst. Appl. 41 (8) (2014)
Christa Schwanninger, David Benavides
Editorial for the special section on Software Product Line Engineering: Selected papers from Software Product Line conference in 2012. Inf. Softw. Technol. 56 (9) (2014)
David Benavides, José Angel Galindo
Variability management in an unaware software product line company: an experience report. VaMoS (2014)
José Angel Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides
A variability-based testing approach for synthesizing video sequences. ISSTA (2014)
Alexander Felfernig, David Benavides, José Angel Galindo, Florian Reinfrank
Towards Anomaly Explanation in Feature Models. Configuration Workshop (2013)
Deepak Dhungana, Dominik Seichter, Goetz Botterweck, Rick Rabiser, Paul Grünbacher, David Benavides, José Angel Galindo
Integrating heterogeneous variability modeling approaches with invar. VaMoS (2013)
David Benavides, Alexander Felfernig, José Angel Galindo, Florian Reinfrank
Automated Analysis in Feature Modelling and Product Configuration. ICSR (2013)
Jianmei Guo, Yinglin Wang, Pablo Trinidad, David Benavides
Consistency maintenance for evolving feature models. Expert Syst. Appl. 39 (5) (2012)
Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela
Software diversity: state of the art and perspectives. Int. J. Softw. Tools Technol. Transf. 14 (5) (2012)
Fabricia Roos-Frantz, David Benavides, Antonio Ruiz Cortés, André Heuer, Kim Lauenroth
Quality-aware analysis in product line engineering with the orthogonal variability model. Softw. Qual. J. 20 (3-4) (2012)
Roberto Erick Lopez-Herrejon, José Angel Galindo, David Benavides, Sergio Segura, Alexander Egyed
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. SSBSE (2012)
Sergio Segura, José Angel Galindo, David Benavides, José Antonio Parejo, Antonio Ruiz Cortés
BeTTy: benchmarking and testing on the automated analysis of feature models. VaMoS (2012)
Fabricia Roos-Frantz, José Angel Galindo, David Benavides, Antonio Ruiz Cortés
FaMa-OVM: a tool for the automated analysis of OVMs. SPLC (2) (2012)
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
Automated metamorphic testing on the analyses of feature models. Inf. Softw. Technol. 53 (3) (2011)
David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011). SPLC (2011)
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
Mutation testing on an object-oriented framework: An experience report. Inf. Softw. Technol. 53 (10) (2011)
Deepak Dhungana, Dominik Seichter, Goetz Botterweck, Rick Rabiser, Paul Grünbacher, David Benavides, José Angel Galindo
Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches. SPLC (2011)
Sergio Segura, David Benavides, Antonio Ruiz Cortés
Functional testing of feature model analysis tools: a test suite. IET Softw. 5 (1) (2011)
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. ICST (2010)
Fabricia Roos-Frantz, David Benavides, Antonio Ruiz Cortés
Automated Analysis of Orthogonal Variability Models using Constraint Programming. JISBD (2010)
José Angel Galindo, David Benavides, Sergio Segura
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis. ACoTA (2010)
Jules White, David Benavides, Douglas C. Schmidt, Pablo Trinidad, Brian Dougherty, Antonio Ruiz Cortés
Automated diagnosis of feature model configurations. J. Syst. Softw. 83 (7) (2010)
David Benavides, Sergio Segura, Antonio Ruiz Cortés
Automated analysis of feature models 20 years later: A literature review. Inf. Syst. 35 (6) (2010)
Carlos Cetina, Pablo Trinidad, Vicente Pelechano, Antonio Ruiz Cortés, David Benavides
Moskitt FM and FAMA FW: Taking feature models to the next level. JISBD (2009)
Jules White, Brian Dougherty, Douglas C. Schmidt, David Benavides
Automated reasoning for multi-step feature model configuration problems. SPLC (2009)
David Benavides, Antonio Ruiz Cortés, Pablo Trinidad
Análisis en líneas de productos: avances, desafíos y lecciones aprendidas. JISBD (2009)

David Benavides.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Benavides