David Benavides

150 papers A* 1A 4B 13C 3Journal 49Unranked 69
YearRankTypeTitle / Venue / Authors
2025 — conf
Configuration Bugs Classification using LLMs and Encoders.
SPLC (A)
Noelia Lopez-Duran, David Romero-Organvidez, Fermín L. Cruz, David Benavides
2025 J jnl
Corrigendum to "Depex: A software for analysing and reasoning about vulnerabilities in software projects dependencies" [SoftwareX, Volume 30, May 2025, 102152].
SoftwareX
Antonio Germán Márquez, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, José A. Galindo, David Benavides
2025 J jnl
Depex: A software for analysing and reasoning about vulnerabilities in software projects dependencies.
SoftwareX
Antonio Germán Márquez, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, José A. Galindo, David Benavides
2025 J jnl
FM fact label.
Sci. Comput. Program.
José Miguel Horcas, José A. Galindo, Lidia Fuentes, David Benavides
2025 — conf
Feature-Based Characterization of GitHub OSS Projects for Performance Assessment.
SPLC (A)
José Manuel Sánchez Ruiz, Guillermo Ciria González, Miguel Angel Olivero, Francisco José Domínguez Mayo, David Benavides
2025 — conf
Feedback Analysis in Software Product Line Forked Developments.
SPLC (A)
David Romero-Organvidez, Oscar Díaz, Yutian Tang, David Benavides
2025 — conf
From Playmobil to Product Lines: towards a visual instrument for variability thinking measurement.
SPLC (B)
David Romero-Organvidez, Jesús Moreno-León, Gregorio Robles, Ana Eva Chacón-Luna, David Benavides
2025 — conf
Optimizing Competitive Positioning through Software Product Lines: An Industrial Application in Digital Marketing.
SPLC (A)
José Manuel Sánchez Ruiz, Noelia Lopez-Duran, Miguel Angel Olivero, Francisco José Domínguez Mayo, David Benavides, Carmen Macedo Figueroa
2025 J jnl
Pragmatic random sampling of Kconfig-based systems: A unified approach.
J. Syst. Softw.
David Fernández-Amorós, Ruben Heradio, José Miguel Horcas, José A. Galindo, David Benavides, Lidia Fuentes
2025 C conf
Product Line Engineering in Smart Governance Systems.
ICSOFT
Salvador Muñoz-Hermoso, Miguel Angel Olivero, Francisco José Domínguez Mayo, David Benavides
2025 — conf
Software Variability as a New Dimension of Computational Thinking: an Exploration.
SPLC (A)
Jesús Moreno-León, David Romero-Organvidez, Gregorio Robles, David Benavides
2025 — conf
Third Tutorial on the Universal Variablity Language: Practical Extensions and Tool Ecosystem.
SPLC (A)
José Miguel Horcas, Chico Sundermann, Malte Grave, José A. Galindo, Thomas Thüm, Rick Rabiser, David Benavides
2025 — conf
UVL web-based editing and analysis with flamapy.ide.
VaMoS
Francisco Sebastian Benitez, José A. Galindo, David Romero-Organvidez, David Benavides
2025 — conf
UVL.js: Experiences on using UVL in the JavaScript Ecosystem.
VaMoS
Victor Lamas, María Isabel Limaylla Lunarejo, Miguel R. Luaces, David Romero-Organvidez, José A. Galindo, David Benavides
2025 J jnl
UVL: Feature modelling with the Universal Variability Language.
J. Syst. Softw.
David Benavides, Chico Sundermann, Kevin Feichtinger, José A. Galindo, Rick Rabiser, Thomas Thüm
2024 J jnl
Data visualization guidance using a software product line approach.
J. Syst. Softw.
David Romero-Organvidez, José Miguel Horcas, José A. Galindo, David Benavides
2024 — book
Feature Models - AI-Driven Design, Analysis and Applications
Alexander Felfernig, Andreas A. Falkner, David Benavides
2024 — conf
Kconfig metamodel: a first approach.
SPLC (B)
David Romero-Organvidez, Pablo Neira Ayuso, José A. Galindo, David Benavides
2024 — conf
Open Science principles in software product lines: The case of the UVL ecosystem.
SPLC (A)
José A. Galindo, David Romero-Organvidez, Megha Bhushan, José Miguel Horcas Aguilera, David Benavides
2024 — conf
Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool.
SPLC (A)
David Fernández-Amorós, Ruben Heradio, José Miguel Horcas Aguilera, José A. Galindo, David Benavides, Lidia Fuentes
2024 J jnl
UVL Sentinel: a tool for parsing and syntactic correction of UVL datasets.
CoRR
David Romero-Organvidez, José A. Galindo, David Benavides
2024 J jnl
UVLHub: A feature model data repository using UVL and open science principles.
J. Syst. Softw.
David Romero-Organvidez, José A. Galindo, Chico Sundermann, José Miguel Horcas, David Benavides
2024 — conf
Variability in data transformation: towards data migration product lines.
VaMoS
David Romero-Organvidez, David Benavides, José Miguel Horcas, María Teresa Gómez-López
2024 J jnl
Variability management and software product line knowledge in software companies.
J. Syst. Softw.
Antonio Manuel Gutiérrez-Fernández, Ana Eva Chacón-Luna, David Benavides, Lidia Fuentes, Rick Rabiser
2024 J jnl
Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT).
Comput. Secur.
Antonio Germán Márquez, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, José A. Galindo, David Benavides
2023 J jnl
A Benchmarking Proposal for DevOps Practices on Open Source Software Projects.
CoRR
José Manuel Sánchez Ruiz, Francisco José Domínguez Mayo, Xavier Oriol, José Francisco Crespo, David Benavides, Ernest Teniente
2023 J jnl
A Monte Carlo tree search conceptual framework for feature model analyses.
J. Syst. Softw.
José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
2023 — conf
Analysis Operations On The Run: Feature Model Analysis in Constraint-based Recommender Systems.
SPLC (A)
Sebastian Lubos, Alexander Felfernig, Viet-Man Le, Thi Ngoc Trang Tran, David Benavides, José A. Zamudio, Damian Garber
2023 A* conf
FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis.
AAAI
Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
2023 — conf
FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models.
SPLC (B)
José A. Galindo, José Miguel Horcas, Alexander Felfernig, David Fernández-Amorós, David Benavides
2023 J jnl
FastDiagP: An Algorithm for Parallelized Direct Diagnosis.
CoRR
Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
2023 — conf
Large Language Models to generate meaningful feature model instances.
SPLC (A)
José A. Galindo, Antonio J. Dominguez, Jules White, David Benavides
2023 — conf
Multi-level configuration in smart governance systems.
ConfWS
Salvador Muñoz-Hermoso, David Benavides, Francisco José Domínguez Mayo
2023 — ch.
Principles of Software Product Lines.
UML-Based Software Product Line Engineering with SMarty
Edson OliveiraJr, David Benavides
2023 — conf
Second Tutorial on the Universal Variability Language.
SPLC (A)
Sebastian Krieter, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Chico Sundermann, Thomas Thüm
2023 — conf
UVLParser: Extending UVL with Language Levels and Conversion Strategies.
SPLC (B)
Chico Sundermann, Stefan Vill, Thomas Thüm, Kevin Feichtinger, Prankur Agarwal, Rick Rabiser, José A. Galindo, David Benavides
2023 B conf
Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead.
GPCE
Raul Medeiros, Oscar Díaz, David Benavides
2022 — conf
Advisory: vulnerability analysis in software development project dependencies.
SPLC (B)
Antonio Germán Márquez, José A. Galindo, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, David Benavides
2022 J jnl
Correction to: Uniform and scalable sampling of highly configurable systems.
Empir. Softw. Eng.
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory
2022 — conf
Design for the analysis of variability management in the industry.
SPLC (B)
Ana Eva Chacón-Luna, Antonio Manuel Gutiérrez-Fernández, David Benavides, Lidia Fuentes
2022 — conf
Fifth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2022).
SPLC (A)
José Miguel Horcas, Ángela Villota, David Benavides, Philippe Collet
2022 — conf
Tutorial on the universal variability language.
SPLC (A)
Chico Sundermann, Kevin Feichtinger, José A. Galindo, David Benavides, Rick Rabiser, Sebastian Krieter, Thomas Thüm
2022 J jnl
Uniform and scalable sampling of highly configurable systems.
Empir. Softw. Eng.
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides, Don S. Batory
2022 — conf
Variability in data visualization: a software product line approach.
SPLC (A)
José Miguel Horcas, José A. Galindo, David Benavides
2022 — conf
Variability-aware data migration tool.
SPLC (B)
David Romero, José A. Galindo, José Miguel Horcas, David Benavides
2021 — conf
A first prototype of a new repository for feature model exchange and knowledge sharing.
SPLC (B)
David Romero, José A. Galindo, José Miguel Horcas, David Benavides
2021 J jnl
Anytime Diagnosis for Reconfiguration.
CoRR
Alexander Felfernig, Rouven Walter, José A. Galindo, David Benavides, Seda Polat Erdeniz, Muesluem Atas, Stefan Reiterer
2021 — conf
DIRECTDEBUG: Automated Testing and Debugging of Feature Models.
ICSE (NIER)
Viet Man Le, Alexander Felfernig, Mathias Uta, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
2021 J jnl
DirectDebug: A software package for the automated testing and debugging of feature models.
Softw. Impacts
Viet Man Le, Alexander Felfernig, Thi Ngoc Trang Tran, Müslüm Atas, Mathias Uta, David Benavides, José A. Galindo
2021 J jnl
DirectDebug: Automated Testing and Debugging of Feature Models.
CoRR
Viet Man Le, Alexander Felfernig, Mathias Uta, David Benavides, José A. Galindo, Thi Ngoc Trang Tran
2021 J jnl
Discovering configuration workflows from existing logs using process mining.
Empir. Softw. Eng.
Belén Ramos-Gutiérrez, Ángel Jesús Varela-Vaca, José A. Galindo, María Teresa Gómez-López, David Benavides
2021 J jnl
Empirical Evidence of the Usage of Programming Languages in the Educational Process.
IEEE Trans. Educ.
Mariuxi Vinueza-Morales, Diana Borrego, José A. Galindo, David Benavides
2021 — conf
Empirical software product line engineering: a systematic literature review. an IST journal publication.
SPLC (A)
Ana Eva Chacón-Luna, Antonio Manuel Gutiérrez-Fernández, José A. Galindo, David Benavides
2021 J jnl
Explanations for over-constrained problems using QuickXPlain with speculative executions.
J. Intell. Inf. Syst.
Cristian Vidal, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides
2021 — conf
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems.
ConfWS
José Miguel Horcas Aguilera, Antonio Germán Márquez, José A. Galindo, David Benavides
2021 — conf
Monte Carlo tree search for feature model analyses: a general framework for decision-making.
SPLC (A)
José Miguel Horcas, José A. Galindo, Ruben Heradio, David Fernández-Amorós, David Benavides
2021 — conf
Product Optimization in Stepwise Design.
Logic, Computation and Rigorous Methods
Don S. Batory, Jeho Oh, Ruben Heradio, David Benavides
2020 C conf
A Parallelized Variant of Junker's QuickXPlain Algorithm.
ISMIS
Cristian Vidal Silva, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides
2020 — conf
A Python framework for the automated analysis of feature models: A first step to integrate community efforts.
SPLC (B)
José A. Galindo, David Benavides
2020 — conf
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance.
ISMIS (Industrial Paper)
Cristian Vidal Silva, José A. Galindo, Jesús Giráldez-Cru, David Benavides
2020 J jnl
Empirical software product line engineering: A systematic literature review.
Inf. Softw. Technol.
Ana Eva Chacón-Luna, Antonio Manuel Gutiérrez, José A. Galindo, David Benavides
2020 J jnl
Open Source Adoption Factors - A Systematic Literature Review.
IEEE Access
Víctor Rea Sánchez, Pablo Neira Ayuso, José Angel Galindo, David Benavides
2020 J jnl
Recommender Systems and Scratch: An Integrated Approach for Enhancing Computer Programming Learning.
IEEE Trans. Learn. Technol.
Jesennia Cárdenas-Cobo, Amilkar Puris, Pavel Novoa-Hernández, José Angel Galindo, David Benavides
2020 — conf
Third International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2020).
SPLC (A)
Mathieu Acher, Philippe Collet, David Benavides, Rick Rabiser
2020 — conf
Uniform and scalable SAT-sampling for configurable systems.
SPLC (A)
Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides
2019 — conf
Accessibility variability model: the UTPL MOOC case study.
SPLC (B)
Germania Rodriguez, Jennifer Pérez, David Benavides
2019 J jnl
Automated analysis of feature models: Quo vadis?
Computing
José Angel Galindo, David Benavides, Pablo Trinidad, Antonio Manuel Gutiérrez-Fernández, Antonio Ruiz-Cortés
2019 — conf
Automated analysis of feature models: quo vadis?
SPLC (A)
José Angel Galindo, David Benavides, Pablo Trinidad, Antonio Manuel Gutiérrez-Fernández, Antonio Ruiz-Cortés
2019 J jnl
Automated analysis of two-layered feature models with feature attributes.
J. Comput. Lang.
Michael Lettner, Jorge Rodas-Silva, José Angel Galindo, David Benavides
2019 — conf
First international workshop on languages for modelling variability (MODEVAR 2019).
SPLC (A)
David Benavides, Rick Rabiser, Don S. Batory, Mathieu Acher
2019 J jnl
Modeling variability in the video domain: language and experience report.
Softw. Qual. J.
Mauricio Alférez, Mathieu Acher, José Angel Galindo, Benoit Baudry, David Benavides
2019 — conf
Process mining to unleash variability management: discovering configuration workflows using logs.
SPLC (A)
Ángel Jesús Varela-Vaca, José Angel Galindo, Belén Ramos-Gutiérrez, María Teresa Gómez-López, David Benavides
2019 — conf
RESDEC: online management tool for implementation components selection in software product lines using recommender systems.
SPLC (B)
Jorge Rodas-Silva, José Angel Galindo, Jorge García-Gutiérrez, David Benavides
2019 J jnl
Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress.
IEEE Access
Jorge Rodas-Silva, José Angel Galindo, Jorge García-Gutiérrez, David Benavides
2019 — conf
Towards a new repository for feature model exchange.
SPLC (B)
José Angel Galindo, David Benavides
2019 — conf
Variability Modelling and Analysis During 30 Years.
From Software Engineering to Formal Methods and Tools, and Back
David Benavides
2019 — conf
Variability management in a software product line unaware company: towards a real evaluation.
SPLC (B)
Ana Eva Chacón-Luna, Elvira García Ruiz, José Angel Galindo, David Benavides
2018 J jnl
Anytime diagnosis for reconfiguration.
J. Intell. Inf. Syst.
Alexander Felfernig, Rouven Walter, José Angel Galindo, David Benavides, Seda Polat Erdeniz, Müslüm Atas, Stefan Reiterer
2018 B conf
Automated analysis of feature models: current state and practices.
SPLC
David Benavides, José Angel Galindo
2018 B ed.
Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018
SPLC (1)
Thorsten Berger, Paulo Borba, Goetz Botterweck, Tomi Männistö, David Benavides, Sarah Nadi, Timo Kehrer, Rick Rabiser, Christoph Elsner, Mukelabai Mukelabai
2018 — conf
Variability Management Trends: some ideas to explore.
VaMoS
David Benavides
2017 J jnl
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing.
Softw. Syst. Model.
Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés
2017 — ed.
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume A, Sevilla, Spain, September 25-29, 2017
SPLC (A)
Myra B. Cohen, Mathieu Acher, Lidia Fuentes, Daniel Schall, Jan Bosch, Rafael Capilla, Ebrahim Bagheri, Yingfei Xiong, Javier Troya, Antonio Ruiz Cortés, David Benavides
2017 — ed.
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017
SPLC (B)
Maurice H. ter Beek, Walter Cazzola, Oscar Díaz, Marcello La Rosa, Roberto E. Lopez-Herrejon, Thomas Thüm, Javier Troya, Antonio Ruiz Cortés, David Benavides
2016 B conf
Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing.
SPLC
José Angel Galindo, Mathieu Acher, Juan Manuel Tirado, Cristian Vidal, Benoit Baudry, David Benavides
2016 J jnl
Foreword to the special issue on empirical evidence on software product line engineering.
Empir. Softw. Eng.
Ebrahim Bagheri, David Benavides, Klaus Schmid, Per Runeson
2016 J jnl
Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line.
EAI Endorsed Trans. Scalable Inf. Syst.
Cristian Vidal, David Benavides, Paul Leger, José Angel Galindo, Hiroaki Fukuda
2016 J jnl
Testing variability-intensive systems using automated analysis: an application to Android.
Softw. Qual. J.
José Angel Galindo, Hamilton A. Turner, David Benavides, Jules White
2016 J jnl
Traceability Analyses between Features and Assets in Software Product Lines.
Entropy
Ganesh Khandu Narwane, José Angel Galindo, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S. Ramesh
2015 J jnl
An assessment of search-based techniques for reverse engineering feature models.
J. Syst. Softw.
Roberto Erick Lopez-Herrejon, Lukas Linsbauer, José Angel Galindo, José Antonio Parejo, David Benavides, Sergio Segura, Alexander Egyed
2015 — conf
JPI feature models - Exploring a JPI and FOP symbiosis for software modeling.
SCCC
Cristian Vidal Silva, José Angel Galindo, Rodolfo Villarroel, David Benavides, Paul Leger, Sebastián Valenzuela
2015 — conf
Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line.
BICT
Cristian Vidal, David Benavides, Paul Leger, José Angel Galindo, Hiroaki Fukuda
2015 J jnl
Supporting distributed product configuration by integrating heterogeneous variability modeling approaches.
Inf. Softw. Technol.
José Angel Galindo, Deepak Dhungana, Rick Rabiser, David Benavides, Goetz Botterweck, Paul Grünbacher
2014 A conf
A variability-based testing approach for synthesizing video sequences.
ISSTA
José Angel Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides
2014 J jnl
Automated generation of computationally hard feature models using evolutionary algorithms.
Expert Syst. Appl.
Sergio Segura, José Antonio Parejo, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2014 J jnl
Editorial for the special section on Software Product Line Engineering: Selected papers from Software Product Line conference in 2012.
Inf. Softw. Technol.
Christa Schwanninger, David Benavides
2014 J jnl
Evolving feature model configurations in software product lines.
J. Syst. Softw.
Jules White, José Angel Galindo, Tripti Saxena, Brian Dougherty, David Benavides, Douglas C. Schmidt
2014 — conf
Variability management in an unaware software product line company: an experience report.
VaMoS
David Benavides, José Angel Galindo
2013 B conf
Automated Analysis in Feature Modelling and Product Configuration.
ICSR
David Benavides, Alexander Felfernig, José Angel Galindo, Florian Reinfrank
2013 — ch.
Automated Analysis of Stateful Feature Models.
Seminal Contributions to Information Systems Engineering
Pablo Trinidad, Antonio Ruiz Cortés, David Benavides
2013 — ch.
Automated Reasoning on Feature Models.
Seminal Contributions to Information Systems Engineering
David Benavides, Pablo Trinidad, Antonio Ruiz Cortés
2013 — ch.
FaMa.
Systems and Software Variability Management
David Benavides, Pablo Trinidad, Antonio Ruiz Cortés, Sergio Segura
2013 — conf
Integrating heterogeneous variability modeling approaches with invar.
VaMoS
Deepak Dhungana, Dominik Seichter, Goetz Botterweck, Rick Rabiser, Paul Grünbacher, David Benavides, José Angel Galindo
2013 — conf
Towards Anomaly Explanation in Feature Models.
Configuration Workshop
Alexander Felfernig, David Benavides, José Angel Galindo, Florian Reinfrank
2012 — ed.
16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012, Volume 1
SPLC (1)
Eduardo Santana de Almeida, Christa Schwanninger, David Benavides
2012 — ed.
16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012, Volume 2
SPLC (2)
Eduardo Santana de Almeida, Christa Schwanninger, David Benavides
2012 — conf
BeTTy: benchmarking and testing on the automated analysis of feature models.
VaMoS
Sergio Segura, José Angel Galindo, David Benavides, José Antonio Parejo, Antonio Ruiz Cortés
2012 J jnl
Consistency maintenance for evolving feature models.
Expert Syst. Appl.
Jianmei Guo, Yinglin Wang, Pablo Trinidad, David Benavides
2012 — conf
FaMa-OVM: a tool for the automated analysis of OVMs.
SPLC (2)
Fabricia Roos-Frantz, José Angel Galindo, David Benavides, Antonio Ruiz Cortés
2012 J jnl
Quality-aware analysis in product line engineering with the orthogonal variability model.
Softw. Qual. J.
Fabricia Roos-Frantz, David Benavides, Antonio Ruiz Cortés, André Heuer, Kim Lauenroth
2012 B conf
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study.
SSBSE
Roberto Erick Lopez-Herrejon, José Angel Galindo, David Benavides, Sergio Segura, Alexander Egyed
2012 J jnl
Software diversity: state of the art and perspectives.
Int. J. Softw. Tools Technol. Transf.
Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela
2011 J jnl
Automated metamorphic testing on the analyses of feature models.
Inf. Softw. Technol.
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2011 B conf
Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches.
SPLC
Deepak Dhungana, Dominik Seichter, Goetz Botterweck, Rick Rabiser, Paul Grünbacher, David Benavides, José Angel Galindo
2011 B conf
Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011).
SPLC
David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong
2011 J jnl
Functional testing of feature model analysis tools: a test suite.
IET Softw.
Sergio Segura, David Benavides, Antonio Ruiz Cortés
2011 J jnl
Mutation testing on an object-oriented framework: An experience report.
Inf. Softw. Technol.
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2010 — conf
Automated Analysis of Orthogonal Variability Models using Constraint Programming.
JISBD
Fabricia Roos-Frantz, David Benavides, Antonio Ruiz Cortés
2010 A conf
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach.
ICST
Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés
2010 J jnl
Automated analysis of feature models 20 years later: A literature review.
Inf. Syst.
David Benavides, Sergio Segura, Antonio Ruiz Cortés
2010 J jnl
Automated diagnosis of feature model configurations.
J. Syst. Softw.
Jules White, David Benavides, Douglas C. Schmidt, Pablo Trinidad, Brian Dougherty, Antonio Ruiz Cortés
2010 — conf
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis.
ACoTA
José Angel Galindo, David Benavides, Sergio Segura
2010 — ed.
Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings
VaMoS
David Benavides, Don S. Batory, Paul Grünbacher
2009 — conf
Análisis en líneas de productos: avances, desafíos y lecciones aprendidas.
JISBD
David Benavides, Antonio Ruiz Cortés, Pablo Trinidad
2009 B conf
Automated reasoning for multi-step feature model configuration problems.
SPLC
Jules White, Brian Dougherty, Douglas C. Schmidt, David Benavides
2009 — conf
Moskitt FM and FAMA FW: Taking feature models to the next level.
JISBD
Carlos Cetina, Pablo Trinidad, Vicente Pelechano, Antonio Ruiz Cortés, David Benavides
2009 — ed.
Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings
VaMoS
David Benavides, Andreas Metzger, Ulrich W. Eisenecker
2008 B conf
Automated Diagnosis of Product-Line Configuration Errors in Feature Models.
SPLC
Jules White, Douglas C. Schmidt, David Benavides, Pablo Trinidad, Antonio Ruiz Cortés
2008 J jnl
Automated error analysis for the agilization of feature modeling.
J. Syst. Softw.
Pablo Trinidad, David Benavides, Amador Durán, Antonio Ruiz Cortés, Miguel Toro
2008 B conf
FAMA Framework.
SPLC
Pablo Trinidad, David Benavides, Antonio Ruiz Cortés, Sergio Segura, Alberto Jimenez
2008 B conf
First International Workshop on Analysis of Software Product Lines (ASPL'08).
SPLC
David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans
2008 — conf
Functional Testing of Feature Model Analysis Tools. A First Step.
SPLC (2)
Sergio Segura, David Benavides, Antonio Ruiz Cortés
2008 — conf
Three-Dimensional Feature Diagrams Visualization.
SPLC (2)
Pablo Trinidad, Antonio Ruiz Cortés, David Benavides, Sergio Segura
2008 B conf
Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project.
SPLC
Arnaud Hubaux, Patrick Heymans, David Benavides
2007 — conf
Automated Merging of Feature Models Using Graph Transformations.
GTTSE
Sergio Segura, David Benavides, Antonio Ruiz Cortés, Pablo Trinidad
2007 — conf
FAMA: Tooling a Framework for the Automated Analysis of Feature Models.
VaMoS
David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés
2007 — conf
FAMA: hacia el análisis automático de modelos de características.
JISBD
Pablo Trinidad, David Benavides, Sergio Segura, Antonio Ruiz Cortés
2007 — conf
Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines.
SPLC (2)
Pablo Trinidad, Antonio Ruiz Cortés, Joaquín Peña, David Benavides
2006 — conf
A Survey on the Automated Analyses of Feature Models.
JISBD
David Benavides, Antonio Ruiz Cortés, Pablo Trinidad, Sergio Segura
2006 J jnl
Automated analysis of feature models: challenges ahead.
Commun. ACM
Don S. Batory, David Benavides, Antonio Ruiz Cortés
2006 — conf
Isolated Features Detection in Feature Models.
CAiSE Forum
Pablo Trinidad, David Benavides, Antonio Ruiz Cortés
2005 A conf
Automated Reasoning on Feature Models.
CAiSE
David Benavides, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés
2005 — conf
The Triple Schizophrenia of the Software Engineering Researcher.
CAiSE Workshops (2)
David Benavides, Antonio Ruiz Cortés, Carlos Müller, Pablo Trinidad Martín-Arroyo
2005 C conf
Using Constraint Programming to Reason on Feature Models.
SEKE
David Benavides, Pablo Trinidad, Antonio Ruiz Cortés
2005 — conf
Using Java CSP Solvers in the Automated Analyses of Feature Models.
GTTSE
David Benavides, Sergio Segura, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés
2004 — conf
A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS).
IICS
David Benavides, Antonio Ruiz Cortés, Miguel A. Serrano, Carlos Montes de Oca
2003 — conf
A Quality-Aware Approach to Web Services Procurement.
TES
Octavio Martín-Díaz, Antonio Ruiz Cortés, David Benavides, Amador Durán, Miguel Toro
2003 — conf
Applying System Families Concepts to Requirements Engineering Process Definition.
PFE
Amador Durán, David Benavides, Jesús Bermejo Muñoz
2003 A conf
Automating the Procurement of Web Services.
ICSOC
Octavio Martín-Díaz, Antonio Ruiz Cortés, Amador Durán, David Benavides, Miguel Toro
2003 — conf
Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web.
JISBD
Octavio Martín-Díaz, David Benavides, Joaquín Peña, Miguel Toro