default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Benavides 0001
- > Home > Persons > David Benavides 0001
Publications
- 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)- 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) - 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) - 2013
- [p1]David Benavides, Pablo Trinidad, Antonio Ruiz Cortés, Sergio Segura:
FaMa. Systems and Software Variability Management 2013: 163-171 - 2012
- [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 - 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) - 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) - [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 - 2008
- [c20]Sergio Segura, David Benavides, Antonio Ruiz Cortés:
Functional Testing of Feature Model Analysis Tools. A First Step. SPLC (2) 2008: 179 - [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 - 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 - [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
- [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
- [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
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.
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.
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.
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:
