default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Benavides 0001
David Felipe Benavides Cuevas
Person information
- affiliation: University of Seville, Spain
Other persons with the same name
- David Benavides 0002 — Monterrey Institute of Technology and Higher Education (ITESM), Campus Leon, Mexico
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j42]David Benavides, Chico Sundermann, Kevin Feichtinger
, José A. Galindo, Rick Rabiser, Thomas Thüm:
UVL: Feature modelling with the Universal Variability Language. J. Syst. Softw. 225: 112326 (2025)- [j41]José Miguel Horcas, José A. Galindo, Lidia Fuentes, David Benavides:
FM fact label. Sci. Comput. Program. 240: 103214 (2025) - [j40]Antonio Germán Márquez, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, José A. Galindo, David Benavides:
Depex: A software for analysing and reasoning about vulnerabilities in software projects dependencies. SoftwareX 30: 102152 (2025) - 2024
- [b1]Alexander Felfernig, Andreas A. Falkner, David Benavides:
Feature Models - AI-Driven Design, Analysis and Applications. Springer Briefs in Computer Science, Springer 2024, ISBN 978-3-031-61873-4, pp. 1-120 - [j39]Antonio 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: 103669 (2024) - [j38]David Romero-Organvidez, José Miguel Horcas, José A. Galindo, David Benavides:
Data visualization guidance using a software product line approach. J. Syst. Softw. 213: 112029 (2024) - [j37]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: 112114 (2024) - [j36]David Romero-Organvidez, José A. Galindo, Chico Sundermann, José Miguel Horcas, David Benavides:
UVLHub: A feature model data repository using UVL and open science principles. J. Syst. Softw. 216: 112150 (2024) - [c80]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: 24-35 - [c79]David Romero-Organvidez, Pablo Neira Ayuso, José A. Galindo, David Benavides:
Kconfig metamodel: a first approach. SPLC (B) 2024: 55-60 - [c78]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: 223 - [c77]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: 83-92 - [d3]David Fernández-Amorós, Ruben Heradio, José Miguel Horcas, José A. Galindo, David Benavides, Lidia Fuentes:
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool". Zenodo, 2024
- [d2]David Fernández-Amorós, Ruben Heradio, José Miguel Horcas, José A. Galindo, David Benavides, Lidia Fuentes:
Software artifacts corresponding to the paper "Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool". Zenodo, 2024 - [d1]José Miguel Horcas, José A. Galindo, Lidia Fuentes, David Benavides:
jmhorcas/fm_characterization: FM Fact Label v1.0.0. Zenodo, 2024 - [i5]David Romero-Organvidez, José A. Galindo, David Benavides:
UVL Sentinel: a tool for parsing and syntactic correction of UVL datasets. CoRR abs/2403.18482 (2024) - 2023
- [j35]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: 111551 (2023) - [c76]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: 6442-6449 - [c75]Salvador Muñoz-Hermoso, David Benavides, Francisco José Domínguez Mayo:
Multi-level configuration in smart governance systems. ConfWS 2023: 67-74 - [c74]Raul Medeiros, Oscar Díaz, David Benavides:
Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead. GPCE 2023: 113-121 - [c73]José A. Galindo, Antonio J. Dominguez, Jules White, David Benavides:
Large Language Models to generate meaningful feature model instances. SPLC (A) 2023: 15-26 - [c72]José A. Galindo, José Miguel Horcas, Alexander Felfernig, 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: 16-19 - [c71]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: 39-42 - [c70]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: 111-116 - [c69]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: 273 - [p4]Edson OliveiraJr, David Benavides:
Principles of Software Product Lines. UML-Based Software Product Line Engineering with SMarty 2023: 3-26 - [i4]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 abs/2304.14790 (2023) - [i3]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 abs/2305.06951 (2023) - 2022
- [j34]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): 44 (2022) - [j33]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): 57 (2022) - [c68]José Miguel Horcas, José Angel Galindo, Mónica Pinto, Lidia Fuentes, David Benavides:
FM fact label: a configurable and interactive visualization of feature model characterizations. SPLC (B) 2022: 42-45 - [c67]José Miguel Horcas, José A. Galindo, David Benavides:
Variability in data visualization: a software product line approach. SPLC (A) 2022: 55-66 - [c66]David Romero, José A. Galindo, José Miguel Horcas, David Benavides:
Variability-aware data migration tool. SPLC (B) 2022: 78-81 - [c65]Antonio 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: 99-102 - [c64]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: 117-122 - [c63]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: 260 - [c62]José Miguel Horcas, Ángela Villota, David Benavides, Philippe Collet:
Fifth International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2022). SPLC (A) 2022: 264 - 2021
- [j32]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): 11 (2021) - [j31]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): 491-508 (2021) - [j30]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: 100085 (2021) - [j29]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): 213-222 (2021) - [c61]Don S. Batory, Jeho Oh, Ruben Heradio, David Benavides:
Product Optimization in Stepwise Design. Logic, Computation and Rigorous Methods 2021: 63-81 - [c60]José Miguel Horcas Aguilera, Antonio Germán Márquez, José A. Galindo, David Benavides:
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems. ConfWS 2021: 37-44 - [c59]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: 81-85 - [c58]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: 80-85 - [c57]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: 113 - [c56]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: 190-201 - [i2]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 abs/2102.05949 (2021) - [i1]Alexander Felfernig, Rouven Walter, José A. Galindo, David Benavides, Seda Polat Erdeniz, Muesluem Atas, Stefan Reiterer:
Anytime Diagnosis for Reconfiguration. CoRR abs/2102.09880 (2021) - 2020
- [j28]Víctor Rea Sánchez, Pablo Neira Ayuso, José Angel Galindo, David Benavides:
Open Source Adoption Factors - A Systematic Literature Review. IEEE Access 8: 94594-94609 (2020) - [j27]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: 106389 (2020) - [j26]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): 387-403 (2020) - [c55]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: 107-117 - [c54]Cristian Vidal Silva, Alexander Felfernig, José A. Galindo, Müslüm Atas, David Benavides:
A Parallelized Variant of Junker's QuickXPlain Algorithm. ISMIS 2020: 457-468 - [c53]Ruben Heradio, David Fernández-Amorós, José A. Galindo, David Benavides:
Uniform and scalable SAT-sampling for configurable systems. SPLC (A) 2020: 17:1-17:11 - [c52]Mathieu Acher, Philippe Collet, David Benavides, Rick Rabiser:
Third International Workshop on Languages for Modelling Variability (MODEVAR@SPLC 2020). SPLC (A) 2020: 36:1 - [c51]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: 52-55
2010 – 2019
- 2019
- [j25]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: 69226-69245 (2019) - [j24]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): 387-433 (2019) - [j23]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): 307-347 (2019) - [j22]Michael Lettner, Jorge Rodas-Silva, José Angel Galindo, David Benavides:
Automated analysis of two-layered feature models with feature attributes. J. Comput. Lang. 51: 154-172 (2019) - [c50]David Benavides:
Variability Modelling and Analysis During 30 Years. From Software Engineering to Formal Methods and Tools, and Back 2019: 365-373 - [c49]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: 1-8 - [c48]Á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: 37:1-37:12 - [c47]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: 40:1 - [c46]David Benavides, Rick Rabiser, Don S. Batory, Mathieu Acher:
First international workshop on languages for modelling variability (MODEVAR 2019). SPLC (A) 2019: 46:1 - [c45]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: 63:1-63:4 - [c44]Germania Rodriguez, Jennifer Pérez, David Benavides:
Accessibility variability model: the UTPL MOOC case study. SPLC (B) 2019: 76:1-76:8 - [c43]José Angel Galindo, David Benavides:
Towards a new repository for feature model exchange. SPLC (B) 2019: 85:1-85:4 - 2018
- [j21]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): 161-182 (2018) - [c42]David Benavides, José Angel Galindo:
Automated analysis of feature models: current state and practices. SPLC 2018: 298 - [c41]David Benavides:
Variability Management Trends: some ideas to explore. VaMoS 2018: 2 - [e7]Thorsten Berger, Paulo Borba, Goetz Botterweck, Tomi Männistö, David Benavides, Sarah Nadi, Timo Kehrer, Rick Rabiser, Christoph Elsner, Mukelabai Mukelabai:
Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018. ACM 2018 [contents] - 2017
- [j20]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): 1049-1082 (2017) - [e6]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:
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume A, Sevilla, Spain, September 25-29, 2017. ACM 2017, ISBN 978-1-4503-5221-5 [contents] - [e5]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:
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017. ACM 2017, ISBN 978-1-4503-5119-5 [contents] - 2016
- [j19]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): 269 (2016) - [j18]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): 1579-1585 (2016) - [j17]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): e2 (2016) - [j16]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): 365-405 (2016) - [c40]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: 74-78 - 2015
- [j15]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: 78-100 (2015) - [j14]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: 353-369 (2015) - [c39]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: 433-437 - [c38]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: 1-6 - 2014
- [j13]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): 3975-3992 (2014) - [j12]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): 1099-1100 (2014) - [j11]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: 119-136 (2014) - [c37]José Angel Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides:
A variability-based testing approach for synthesizing video sequences. ISSTA 2014: 293-303 - [c36]David Benavides, José Angel Galindo:
Variability management in an unaware software product line company: an experience report. VaMoS 2014: 5:1-5:6 - 2013
- [c35]Alexander Felfernig, David Benavides, José Angel Galindo, Florian Reinfrank:
Towards Anomaly Explanation in Feature Models. Configuration Workshop 2013: 117-124 - [c34]David Benavides, Alexander Felfernig, José Angel Galindo, Florian Reinfrank:
Automated Analysis in Feature Modelling and Product Configuration. ICSR 2013: 160-175 - [c33]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: 8:1-8:5 - [p3]David Benavides, Pablo Trinidad, Antonio Ruiz Cortés:
Automated Reasoning on Feature Models. Seminal Contributions to Information Systems Engineering 2013: 361-373 - [p2]Pablo Trinidad, Antonio Ruiz Cortés, David Benavides:
Automated Analysis of Stateful Feature Models. Seminal Contributions to Information Systems Engineering 2013: 375-380 - [p1]David Benavides, Pablo Trinidad, Antonio Ruiz Cortés, Sergio Segura:
FaMa. Systems and Software Variability Management 2013: 163-171 - 2012
- [j10]Jianmei Guo, Yinglin Wang, Pablo Trinidad, David Benavides:
Consistency maintenance for evolving feature models. Expert Syst. Appl. 39(5): 4987-4998 (2012) - [j9]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): 519-565 (2012) - [j8]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): 477-495 (2012) - [c32]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: 250-254 - [c31]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: 168-182 - [c30]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: 63-71 - [e4]Eduardo Santana de Almeida, Christa Schwanninger, David Benavides:
16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012, Volume 1. ACM 2012, ISBN 978-1-4503-1094-9 [contents] - [e3]Eduardo Santana de Almeida, Christa Schwanninger, David Benavides:
16th International Software Product Line Conference, SPLC '12, Salvador, Brazil - September 2-7, 2012, Volume 2. ACM 2012, ISBN 978-1-4503-1095-6 [contents] - 2011
- [j7]Sergio Segura, David Benavides, Antonio Ruiz Cortés:
Functional testing of feature model analysis tools: a test suite. IET Softw. 5(1): 70-82 (2011) - [j6]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): 245-258 (2011) - [j5]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): 1124-1136 (2011) - [c29]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: 120-129 - [c28]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: 336 - 2010
- [j4]David Benavides, Sergio Segura, Antonio Ruiz Cortés:
Automated analysis of feature models 20 years later: A literature review. Inf. Syst. 35(6): 615-636 (2010) - [j3]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): 1094-1107 (2010) - [c27]José Angel Galindo, David Benavides, Sergio Segura:
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis. ACoTA 2010: 29-34 - [c26]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: 35-44 - [c25]Fabricia Roos-Frantz, David Benavides, Antonio Ruiz Cortés:
Automated Analysis of Orthogonal Variability Models using Constraint Programming. JISBD 2010: 269-280 - [e2]David Benavides, Don S. Batory, Paul Grünbacher:
Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings. ICB-Research Report 37, Universität Duisburg-Essen 2010 [contents]
2000 – 2009
- 2009
- [c24]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: 285-288 - [c23]David Benavides, Antonio Ruiz Cortés, Pablo Trinidad:
Análisis en líneas de productos: avances, desafíos y lecciones aprendidas. JISBD 2009: 433-433 - [c22]Jules White, Brian Dougherty, Douglas C. Schmidt, David Benavides:
Automated reasoning for multi-step feature model configuration problems. SPLC 2009: 11-20 - [e1]David Benavides, Andreas Metzger, Ulrich W. Eisenecker:
Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings. ICB Research Report 29, Universität Duisburg-Essen 2009 [contents] - 2008
- [j2]Pablo Trinidad, David Benavides, Amador Durán, Antonio Ruiz Cortés, Miguel Toro:
Automated error analysis for the agilization of feature modeling. J. Syst. Softw. 81(6): 883-896 (2008) - [c21]Arnaud Hubaux, Patrick Heymans, David Benavides:
Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project. SPLC 2008: 55-64 - [c20]Sergio Segura, David Benavides, Antonio Ruiz Cortés:
Functional Testing of Feature Model Analysis Tools. A First Step. SPLC (2) 2008: 179 - [c19]Jules White, Douglas C. Schmidt, David Benavides, Pablo Trinidad, Antonio Ruiz Cortés:
Automated Diagnosis of Product-Line Configuration Errors in Feature Models. SPLC 2008: 225-234 - [c18]Pablo Trinidad, Antonio Ruiz Cortés, David Benavides, Sergio Segura:
Three-Dimensional Feature Diagrams Visualization. SPLC (2) 2008: 295-302 - [c17]Pablo Trinidad, David Benavides, Antonio Ruiz Cortés, Sergio Segura, Alberto Jimenez:
FAMA Framework. SPLC 2008: 359 - [c16]David Benavides, Antonio Ruiz Cortés, Don S. Batory, Patrick Heymans:
First International Workshop on Analysis of Software Product Lines (ASPL'08). SPLC 2008: 385 - 2007
- [c15]Sergio Segura, David Benavides, Antonio Ruiz Cortés, Pablo Trinidad:
Automated Merging of Feature Models Using Graph Transformations. GTTSE 2007: 489-505 - [c14]Pablo Trinidad, David Benavides, Sergio Segura, Antonio Ruiz Cortés:
FAMA: hacia el análisis automático de modelos de características. JISBD 2007: 417-418 - [c13]Pablo Trinidad, Antonio Ruiz Cortés, Joaquín Peña, David Benavides:
Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines. SPLC (2) 2007: 51-56 - [c12]David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés:
FAMA: Tooling a Framework for the Automated Analysis of Feature Models. VaMoS 2007: 129-134 - 2006
- [j1]Don S. Batory, David Benavides, Antonio Ruiz Cortés:
Automated analysis of feature models: challenges ahead. Commun. ACM 49(12): 45-47 (2006) - [c11]Pablo Trinidad, David Benavides, Antonio Ruiz Cortés:
Isolated Features Detection in Feature Models. CAiSE Forum 2006 - [c10]David Benavides, Antonio Ruiz Cortés, Pablo Trinidad, Sergio Segura:
A Survey on the Automated Analyses of Feature Models. JISBD 2006: 367-376 - 2005
- [c9]David Benavides, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés:
Automated Reasoning on Feature Models. CAiSE 2005: 491-503 - [c8]David Benavides, Antonio Ruiz Cortés, Carlos Müller, Pablo Trinidad Martín-Arroyo:
The Triple Schizophrenia of the Software Engineering Researcher. CAiSE Workshops (2) 2005: 529-534 - [c7]David Benavides, Sergio Segura, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés:
Using Java CSP Solvers in the Automated Analyses of Feature Models. GTTSE 2005: 399-408 - [c6]David Benavides, Pablo Trinidad, Antonio Ruiz Cortés:
Using Constraint Programming to Reason on Feature Models. SEKE 2005: 677-682 - 2004
- [c5]David Benavides, Antonio Ruiz Cortés, Miguel A. Serrano, Carlos Montes de Oca:
A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS). IICS 2004: 91-98 - 2003
- [c4]Octavio Martín-Díaz, Antonio Ruiz Cortés, Amador Durán, David Benavides, Miguel Toro:
Automating the Procurement of Web Services. ICSOC 2003: 91-103 - [c3]Octavio Martín-Díaz, David Benavides, Joaquín Peña, Miguel Toro:
Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web. JISBD 2003: 209-220 - [c2]Amador Durán, David Benavides, Jesús Bermejo Muñoz:
Applying System Families Concepts to Requirements Engineering Process Definition. PFE 2003: 140-151 - [c1]Octavio Martín-Díaz, Antonio Ruiz Cortés, David Benavides, Amador Durán, Miguel Toro:
A Quality-Aware Approach to Web Services Procurement. TES 2003: 42-53
Coauthor Index
Antonio Ruiz Cortés
aka: Antonio Ruiz-Cortés
aka: Antonio Ruiz-Cortés
José A. Galindo
aka: José Angel Galindo
aka: José Angel Galindo
[j42] [j41] [j40] [j39] [j38] [j36] [c80] [c79] [c78] [d3] [d2] [d1] [i5] [j35] [c76] [c73] [c72] [c71] [c69] [i3] [j34] [j33] [c68] [c67] [c66] [c65] [c63] [j32] [j31] [j30] [j29] [c60] [c59] [c58] [c57] [c56] [i2] [i1] [j28] [j27] [j26] [c55] [c54] [c53] [c51] [j25] [j24] [j23] [j22] [c49] [c48] [c47] [c45] [c43] [j21] [c42] [j19] [j17] [j16] [c40] [j15] [j14] [c39] [c38] [j11] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [c30] [c29] [c27]
Antonio Manuel Gutiérrez
aka: Antonio Manuel Gutiérrez-Fernández
aka: Antonio Manuel Gutiérrez-Fernández
José Miguel Horcas
aka: José Miguel Horcas Aguilera
aka: José Miguel Horcas Aguilera
Pablo Trinidad Martín-Arroyo
aka: Pablo Trinidad
aka: Pablo Trinidad
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-03 01:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
