David Benavides

Orcid: 0000-0002-8449-3273

Affiliations:
  • University of Seville, Spain


According to our database1, David Benavides authored at least 116 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
UVL Sentinel: a tool for parsing and syntactic correction of UVL datasets.
CoRR, 2024

Variability in data transformation: towards data migration product lines.
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

2023
A Monte Carlo tree search conceptual framework for feature model analyses.
J. Syst. Softw., 2023

A Benchmarking Proposal for DevOps Practices on Open Source Software Projects.
CoRR, 2023

UVLParser: Extending UVL with Language Levels and Conversion Strategies.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Analysis Operations On The Run: Feature Model Analysis in Constraint-based Recommender Systems.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Second Tutorial on the Universal Variability Language.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Large Language Models to generate meaningful feature model instances.
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead.
Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023

Multi-level configuration in smart governance systems.
Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Principles of Software Product Lines.
Proceedings of the UML-Based Software Product Line Engineering with SMarty, 2023

2022
Correction to: Uniform and scalable sampling of highly configurable systems.
Empir. Softw. Eng., 2022

Uniform and scalable sampling of highly configurable systems.
Empir. Softw. Eng., 2022

Tutorial on the universal variability language.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Variability-aware data migration tool.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Advisory: vulnerability analysis in software development project dependencies.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Fifth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2022).
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

<i>FM fact label</i>: a configurable and interactive visualization of feature model characterizations.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Variability in data visualization: a software product line approach.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Design for the analysis of variability management in the industry.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

2021
Empirical Evidence of the Usage of Programming Languages in the Educational Process.
IEEE Trans. Educ., 2021

DirectDebug: A software package for the automated testing and debugging of feature models.
Softw. Impacts, 2021

Explanations for over-constrained problems using QuickXPlain with speculative executions.
J. Intell. Inf. Syst., 2021

Discovering configuration workflows from existing logs using process mining.
Empir. Softw. Eng., 2021

A first prototype of a new repository for feature model exchange and knowledge sharing.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Monte Carlo tree search for feature model analyses: a general framework for decision-making.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Empirical software product line engineering: a systematic literature review. an IST journal publication.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

DIRECTDEBUG: Automated Testing and Debugging of Feature Models.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems.
Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), 2021

Product Optimization in Stepwise Design.
Proceedings of the Logic, Computation and Rigorous Methods, 2021

2020
Recommender Systems and Scratch: An Integrated Approach for Enhancing Computer Programming Learning.
IEEE Trans. Learn. Technol., 2020

Empirical software product line engineering: A systematic literature review.
Inf. Softw. Technol., 2020

Open Source Adoption Factors - A Systematic Literature Review.
IEEE Access, 2020

Uniform and scalable SAT-sampling for configurable systems.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

A Python framework for the automated analysis of feature models: A first step to integrate community efforts.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Third International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2020).
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance.
Proceedings of the Intelligent Systems in Industrial Applications, 2020

A Parallelized Variant of Junker's QuickXPlain Algorithm.
Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020

2019
Automated analysis of two-layered feature models with feature attributes.
J. Comput. Lang., 2019

Modeling variability in the video domain: language and experience report.
Softw. Qual. J., 2019

Automated analysis of feature models: Quo vadis?
Computing, 2019

Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress.
IEEE Access, 2019

Process mining to unleash variability management: discovering configuration workflows using logs.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Accessibility variability model: the UTPL MOOC case study.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

RESDEC: online management tool for implementation components selection in software product lines using recommender systems.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Towards a new repository for feature model exchange.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Variability management in a software product line unaware company: towards a real evaluation.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

First international workshop on languages for modelling variability (MODEVAR 2019).
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Variability Modelling and Analysis During 30 Years.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
Anytime diagnosis for reconfiguration.
J. Intell. Inf. Syst., 2018

Variability Management Trends: some ideas to explore.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Automated analysis of feature models: current state and practices.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

2017
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing.
Softw. Syst. Model., 2017

2016
Testing variability-intensive systems using automated analysis: an application to Android.
Softw. Qual. J., 2016

Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line.
EAI Endorsed Trans. Scalable Inf. Syst., 2016

Foreword to the special issue on empirical evidence on software product line engineering.
Empir. Softw. Eng., 2016

Traceability Analyses between Features and Assets in Software Product Lines.
Entropy, 2016

Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

2015
An assessment of search-based techniques for reverse engineering feature models.
J. Syst. Softw., 2015

Supporting distributed product configuration by integrating heterogeneous variability modeling approaches.
Inf. Softw. Technol., 2015

JPI feature models - Exploring a JPI and FOP symbiosis for software modeling.
Proceedings of the 34th International Conference of the Chilean Computer Science Society, 2015

2014
Evolving feature model configurations in software product lines.
J. Syst. Softw., 2014

Editorial for the special section on Software Product Line Engineering: Selected papers from Software Product Line conference in 2012.
Inf. Softw. Technol., 2014

Automated generation of computationally hard feature models using evolutionary algorithms.
Expert Syst. Appl., 2014

Variability management in an unaware software product line company: an experience report.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

A variability-based testing approach for synthesizing video sequences.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013
Integrating heterogeneous variability modeling approaches with invar.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Automated Analysis in Feature Modelling and Product Configuration.
Proceedings of the Safe and Secure Software Reuse, 2013

Towards Anomaly Explanation in Feature Models.
Proceedings of the 15th International Configuration Workshop, 2013

Proceedings of the Systems and Software Variability Management, 2013

Automated Analysis of Stateful Feature Models.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

Automated Reasoning on Feature Models.
Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012
Software diversity: state of the art and perspectives.
Int. J. Softw. Tools Technol. Transf., 2012

Quality-aware analysis in product line engineering with the orthogonal variability model.
Softw. Qual. J., 2012

Consistency maintenance for evolving feature models.
Expert Syst. Appl., 2012

BeTTy: benchmarking and testing on the automated analysis of feature models.
Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study.
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

FaMa-OVM: a tool for the automated analysis of OVMs.
Proceedings of the 16th International Software Product Line Conference, 2012

2011
Mutation testing on an object-oriented framework: An experience report.
Inf. Softw. Technol., 2011

Automated metamorphic testing on the analyses of feature models.
Inf. Softw. Technol., 2011

Functional testing of feature model analysis tools: a test suite.
IET Softw., 2011

Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011).
Proceedings of the Software Product Lines - 15th International Conference, 2011

2010
Automated diagnosis of feature model configurations.
J. Syst. Softw., 2010

Automated analysis of feature models 20 years later: A literature review.
Inf. Syst., 2010

Automated Analysis of Orthogonal Variability Models using Constraint Programming.
Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach.
Proceedings of the Third International Conference on Software Testing, 2010

Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis.
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010

2009
Automated reasoning for multi-step feature model configuration problems.
Proceedings of the Software Product Lines, 13th International Conference, 2009

Moskitt FM and FAMA FW: Taking feature models to the next level.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Análisis en líneas de productos: avances, desafíos y lecciones aprendidas.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

2008
Automated error analysis for the agilization of feature modeling.
J. Syst. Softw., 2008

Automated Diagnosis of Product-Line Configuration Errors in Feature Models.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Three-Dimensional Feature Diagrams Visualization.
Proceedings of the Software Product Lines, 12th International Conference, 2008

FAMA Framework.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Functional Testing of Feature Model Analysis Tools. A First Step.
Proceedings of the Software Product Lines, 12th International Conference, 2008

Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project.
Proceedings of the Software Product Lines, 12th International Conference, 2008

First International Workshop on Analysis of Software Product Lines (ASPL'08).
Proceedings of the Software Product Lines, 12th International Conference, 2008

2007
FAMA: Tooling a Framework for the Automated Analysis of Feature Models.
Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines.
Proceedings of the Software Product Lines, 11th International Conference, 2007

FAMA: hacia el análisis automático de modelos de características.
Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

Automated Merging of Feature Models Using Graph Transformations.
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

2006
Automated analysis of feature models: challenges ahead.
Commun. ACM, 2006

A Survey on the Automated Analyses of Feature Models.
Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

Isolated Features Detection in Feature Models.
Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

2005
Using Constraint Programming to Reason on Feature Models.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

Using Java CSP Solvers in the Automated Analyses of Feature Models.
Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

Automated Reasoning on Feature Models.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

The Triple Schizophrenia of the Software Engineering Researcher.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

2004
A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS).
Proceedings of the Innovative Internet Community Systems, 4th InternationalWorkshop, 2004

2003
A Quality-Aware Approach to Web Services Procurement.
Proceedings of the Technologies for E-Services, 4th International Workshop, 2003

Applying System Families Concepts to Requirements Engineering Process Definition.
Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Automating the Procurement of Web Services.
Proceedings of the Service-Oriented Computing, 2003


  Loading...