David Benavides

Springer Briefs in Computer Science, Springer, ISBN: 978-3-031-61873-4, 2024

Data visualization guidance using a software product line approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2024

UVLHub: A feature model data repository using UVL and open science principles.

[BibT_eX]

[DOI]

J. Syst. Softw., 2024

Variability management and software product line knowledge in software companies.

[BibT_eX]

[DOI]

J. Syst. Softw., 2024

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

[BibT_eX]

[DOI]

CoRR, 2024

Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT).

[BibT_eX]

[DOI]

A. Germán Márquez

Comput. Secur., 2024

Variability in data transformation: towards data migration product lines.

[BibT_eX]

[DOI]

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

Kconfig metamodel: a first approach.

[BibT_eX]

[DOI]

Pablo Neira Ayuso

Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

Open Science principles in software product lines: The case of the UVL ecosystem.

[BibT_eX]

[DOI]

José Miguel Horcas Aguilera

Megha Bhushan

Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool.

[BibT_eX]

[DOI]

José Miguel Horcas Aguilera

Lidia Fuentes

Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

2023

A Monte Carlo tree search conceptual framework for feature model analyses.

[BibT_eX]

[DOI]

Francisco José Domínguez Mayo

J. Syst. Softw., 2023

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

[BibT_eX]

[DOI]

José Manuel Sánchez Ruiz

Xavier Oriol

José Francisco Crespo

Ernest Teniente

CoRR, 2023

UVLParser: Extending UVL with Language Levels and Conversion Strategies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Second Tutorial on the Universal Variability Language.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Alexander Felfernig

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Large Language Models to generate meaningful feature model instances.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Raul Medeiros

Oscar Díaz

Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023

Multi-level configuration in smart governance systems.

[BibT_eX]

[DOI]

Salvador Muñoz-Hermoso

Francisco José Domínguez Mayo

Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

FASTDIAGP: An Algorithm for Parallelized Direct Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Principles of Software Product Lines.

[BibT_eX]

[DOI]

Edson OliveiraJr

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

2022

Correction to: Uniform and scalable sampling of highly configurable systems.

[BibT_eX]

[DOI]

Don S. Batory

Empir. Softw. Eng., 2022

Uniform and scalable sampling of highly configurable systems.

[BibT_eX]

[DOI]

Don S. Batory

Empir. Softw. Eng., 2022

Tutorial on the universal variability language.

[BibT_eX]

[DOI]

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Variability-aware data migration tool.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

A. Germán Márquez

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ana Eva Chacón-Luna

Lidia Fuentes

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.

[BibT_eX]

[DOI]

Mariuxi Vinueza-Morales

Diana Borrego

IEEE Trans. Educ., 2021

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

[BibT_eX]

[DOI]

Softw. Impacts, 2021

Explanations for over-constrained problems using QuickXPlain with speculative executions.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2021

Discovering configuration workflows from existing logs using process mining.

[BibT_eX]

[DOI]

Belén Ramos-Gutiérrez

Empir. Softw. Eng., 2021

A first prototype of a new repository for feature model exchange and knowledge sharing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ana Eva Chacón-Luna

José Miguel Horcas Aguilera

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

DIRECTDEBUG: Automated Testing and Debugging of Feature Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

A. Germán Márquez

Proceedings of the 23rd International Configuration Workshop (CWS/ConfWS 2021), 2021

Product Optimization in Stepwise Design.

[BibT_eX]

[DOI]

Proceedings of the Logic, Computation and Rigorous Methods, 2021

2020

Recommender Systems and Scratch: An Integrated Approach for Enhancing Computer Programming Learning.

[BibT_eX]

[DOI]

Jesennia Cárdenas-Cobo

Amilkar Puris

Pavel Novoa-Hernández

IEEE Trans. Learn. Technol., 2020

Empirical software product line engineering: A systematic literature review.

[BibT_eX]

[DOI]

Ana Eva Chacón-Luna

Antonio Manuel Gutiérrez

Inf. Softw. Technol., 2020

Open Source Adoption Factors - A Systematic Literature Review.

[BibT_eX]

[DOI]

IEEE Access, 2020

Uniform and scalable SAT-sampling for configurable systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems in Industrial Applications, 2020

A Parallelized Variant of Junker's QuickXPlain Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020

2019

Automated analysis of two-layered feature models with feature attributes.

[BibT_eX]

[DOI]

J. Comput. Lang., 2019

Modeling variability in the video domain: language and experience report.

[BibT_eX]

[DOI]

Softw. Qual. J., 2019

Automated analysis of feature models: Quo vadis?

[BibT_eX]

[DOI]

Antonio Ruiz-Cortés

Computing, 2019

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

[BibT_eX]

[DOI]

Jorge Rodas-Silva

Jorge García-Gutiérrez

IEEE Access, 2019

Process mining to unleash variability management: discovering configuration workflows using logs.

[BibT_eX]

[DOI]

Belén Ramos-Gutiérrez

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Accessibility variability model: the UTPL MOOC case study.

[BibT_eX]

[DOI]

Germania Rodriguez

Jennifer Pérez

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.

[BibT_eX]

[DOI]

Jorge Rodas-Silva

Jorge García-Gutiérrez

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Towards a new repository for feature model exchange.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

First international workshop on languages for modelling variability (MODEVAR 2019).

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Variability Modelling and Analysis During 30 Years.

[BibT_eX]

[DOI]

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Anytime diagnosis for reconfiguration.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2018

Variability Management Trends: some ideas to explore.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018

Automated analysis of feature models: current state and practices.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

2016

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

[BibT_eX]

[DOI]

Softw. Qual. J., 2016

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

[BibT_eX]

[DOI]

EAI Endorsed Trans. Scalable Inf. Syst., 2016

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

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2016

Traceability Analyses between Features and Assets in Software Product Lines.

[BibT_eX]

[DOI]

Ganesh Khandu Narwane

Shankara Narayanan Krishna

Roberto Erick Lopez-Herrejon

Jean-Vivien Millo

S. Ramesh

Entropy, 2016

Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing.

[BibT_eX]

[DOI]

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

2015

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

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Supporting distributed product configuration by integrating heterogeneous variability modeling approaches.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2015

JPI feature models - Exploring a JPI and FOP symbiosis for software modeling.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference of the Chilean Computer Science Society, 2015

2014

Evolving feature model configurations in software product lines.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

Editorial for the special section on Software Product Line Engineering: Selected papers from Software Product Line conference in 2012.

[BibT_eX]

[DOI]

Christa Schwanninger

Inf. Softw. Technol., 2014

Automated generation of computationally hard feature models using evolutionary algorithms.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

Variability management in an unaware software product line company: an experience report.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

A variability-based testing approach for synthesizing video sequences.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

Integrating heterogeneous variability modeling approaches with invar.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Automated Analysis in Feature Modelling and Product Configuration.

[BibT_eX]

[DOI]

Proceedings of the Safe and Secure Software Reuse, 2013

Towards Anomaly Explanation in Feature Models.

[BibT_eX]

[DOI]

Proceedings of the 15th International Configuration Workshop, 2013

FaMa.

[BibT_eX]

[DOI]

Proceedings of the Systems and Software Variability Management, 2013

Automated Analysis of Stateful Feature Models.

[BibT_eX]

[DOI]

Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

Automated Reasoning on Feature Models.

[BibT_eX]

[DOI]

Roberto Erick Lopez-Herrejon

Proceedings of the Seminal Contributions to Information Systems Engineering, 2013

2012

Software diversity: state of the art and perspectives.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

Quality-aware analysis in product line engineering with the orthogonal variability model.

[BibT_eX]

[DOI]

Softw. Qual. J., 2012

Consistency maintenance for evolving feature models.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2012

BeTTy: benchmarking and testing on the automated analysis of feature models.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

FaMa-OVM: a tool for the automated analysis of OVMs.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

2011

Mutation testing on an object-oriented framework: An experience report.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

Automated metamorphic testing on the analyses of feature models.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

Functional testing of feature model analysis tools: a test suite.

[BibT_eX]

[DOI]

IET Softw., 2011

Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011).

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

2010

Automated diagnosis of feature model configurations.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Automated analysis of feature models 20 years later: A literature review.

[BibT_eX]

[DOI]

Inf. Syst., 2010

Automated Analysis of Orthogonal Variability Models using Constraint Programming.

[BibT_eX]

Fabricia Roos-Frantz

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.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

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

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010

2009

Automated reasoning for multi-step feature model configuration problems.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines, 13th International Conference, 2009

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

[BibT_eX]

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.

[BibT_eX]

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.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Automated Diagnosis of Product-Line Configuration Errors in Feature Models.

[BibT_eX]

[DOI]

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

Three-Dimensional Feature Diagrams Visualization.

[BibT_eX]

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

FAMA Framework.

[BibT_eX]

[DOI]

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

Functional Testing of Feature Model Analysis Tools. A First Step.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Arnaud Hubaux

Patrick Heymans

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

First International Workshop on Analysis of Software Product Lines (ASPL'08).

[BibT_eX]

[DOI]

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

2007

FAMA: Tooling a Framework for the Automated Analysis of Feature Models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

Proceedings of the Software Product Lines, 11th International Conference, 2007

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

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

2006

Automated analysis of feature models: challenges ahead.

[BibT_eX]

[DOI]

Don S. Batory

Commun. ACM, 2006

A Survey on the Automated Analyses of Feature Models.

[BibT_eX]

Proceedings of the XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), 2006

Isolated Features Detection in Feature Models.

[BibT_eX]

[DOI]

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

2005

Using Constraint Programming to Reason on Feature Models.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Pablo Trinidad Martín-Arroyo

Proceedings of the Generative and Transformational Techniques in Software Engineering, 2005

Automated Reasoning on Feature Models.

[BibT_eX]

[DOI]

Pablo Trinidad Martín-Arroyo

Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

The Triple Schizophrenia of the Software Engineering Researcher.

[BibT_eX]

Pablo Trinidad Martín-Arroyo

Carlos Müller

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).

[BibT_eX]

[DOI]

Proceedings of the Innovative Internet Community Systems, 4th InternationalWorkshop, 2004

2003

A Quality-Aware Approach to Web Services Procurement.

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Services, 4th International Workshop, 2003

Applying System Families Concepts to Requirements Engineering Process Definition.

[BibT_eX]

[DOI]

Amador Durán