David Benavides

According to our database1, David Benavides authored at least 69 papers between 2003 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Modeling variability in the video domain: language and experience report.
Software Quality Journal, 2019

Automated analysis of feature models: Quo vadis?
Computing, 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.
Software and System Modeling, 2017

2016
Testing variability-intensive systems using automated analysis: an application to Android.
Software Quality Journal, 2016

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

Foreword to the special issue on empirical evidence on software product line engineering.
Empirical Software Engineering, 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.
Journal of Systems and Software, 2015

Supporting distributed product configuration by integrating heterogeneous variability modeling approaches.
Information & Software Technology, 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

Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line.
Proceedings of the BICT 2015, 2015

2014
Evolving feature model configurations in software product lines.
Journal of Systems and Software, 2014

Editorial for the special section on Software Product Line Engineering: Selected papers from Software Product Line conference in 2012.
Information & Software Technology, 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

FaMa.
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.
STTT, 2012

Quality-aware analysis in product line engineering with the orthogonal variability model.
Software Quality Journal, 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.
Information & Software Technology, 2011

Automated metamorphic testing on the analyses of feature models.
Information & Software Technology, 2011

Functional testing of feature model analysis tools: a test suite.
IET Software, 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

iNet: An Intelligent Network as a Personal Assistant in an iCampus Environment.
Proceedings of the Workshop Proceedings of the 7th International Conference on Intelligent Environments, 2011

2010
Automated diagnosis of feature model configurations.
Journal of Systems and Software, 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.
Journal of Systems and Software, 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...