Παρακολούθηση
David Benavides
David Benavides
Full Professor, University of Seville
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα us.es - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Automated analysis of feature models 20 years later: A literature review
D Benavides, S Segura, A Ruiz-Cortés
Information systems 35 (6), 615-636, 2010
16972010
Automated reasoning on feature models
D Benavides, P Trinidad, A Ruiz-Cortés
International Conference on Advanced Information Systems Engineering, 491-503, 2005
9732005
Automated analysis of feature models: challenges ahead
D Batory, D Benavides, A Ruiz-Cortes
Communications of the ACM 49 (12), 45-47, 2006
3352006
Fama: Tooling a framework for the automated analysis of feature models.
D Benavides, S Segura, P Trinidad, AR Cortés
VaMoS 2007, 01, 2007
3262007
Using Java CSP solvers in the automated analyses of feature models
D Benavides, S Segura, P Trinidad, A Ruiz-Cortés
International Summer School on Generative and Transformational Techniques in …, 2005
224*2005
Automated error analysis for the agilization of feature modeling
P Trinidad, D Benavides, A Durán, A Ruiz-Cortés, M Toro
Journal of Systems and Software 81 (6), 883-896, 2008
2182008
Software diversity: state of the art and perspectives
I Schaefer, R Rabiser, D Clarke, L Bettini, D Benavides, G Botterweck, ...
International Journal on Software Tools for Technology Transfer 14, 477-495, 2012
2082012
Automated diagnosis of product-line configuration errors in feature models
J White, DC Schmidt, D Benavides, P Trinidad, A Ruiz–Cortés
2008 12th International Software Product Line Conference, 225-234, 2008
2032008
Automated reasoning for multi-step feature model configuration problems
J White, B Dougherty, DC Schmidt, DF Benavides Cuevas
SPLC 2009: 13th International Software Product Line Conference (2009), p 11-20, 2009
1672009
BeTTy: benchmarking and testing on the automated analysis of feature models
S Segura, JA Galindo, D Benavides, JA Parejo, A Ruiz-Cortés
Proceedings of the 6th International Workshop on Variability Modeling of …, 2012
1532012
Fama framework
P Trinidad, D Benavides, A Ruiz-Cortés, S Segura, A Jimenez
2008 12th International Software Product Line Conference, 359-359, 2008
1502008
Automated diagnosis of feature model configurations
J White, D Benavides, DC Schmidt, P Trinidad, B Dougherty, ...
Journal of Systems and Software 83 (7), 1094-1107, 2010
1482010
Using Constraint Programming to Reason on Feature Models.
D Benavides, P Trinidad, AR Cortés
SEKE 5, 677-682, 2005
1372005
Automated analysis of feature models: Quo vadis?
JA Galindo, D Benavides, P Trinidad, AM Gutiérrez-Fernández, ...
Computing 101, 387-433, 2019
1162019
Automated metamorphic testing on the analyses of feature models
S Segura, RM Hierons, D Benavides, A Ruiz-Cortés
Information and Software Technology 53 (3), 245-258, 2011
1162011
A first step towards a framework for the automated analysis of feature models
D Benavides, S Segura, P Trinidad, A Ruiz-Cortés
Proc. Managing Variability for Software Product Lines: Working With …, 2006
1102006
Automated merging of feature models using graph transformations
S Segura, D Benavides, A Ruiz-Cortés, P Trinidad
International Summer School on Generative and Transformational Techniques in …, 2007
1042007
On the automated analysis of software product lines using feature models: a framework for developing automated tool support
D Benavides
Universidad de Sevilla, 2007
972007
An assessment of search-based techniques for reverse engineering feature models
RE Lopez-Herrejon, L Linsbauer, JA Galindo, JA Parejo, D Benavides, ...
Journal of Systems and Software 103, 353-369, 2015
932015
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis.
JA Galindo, D Benavides, S Segura
ACoTA, 29-34, 2010
912010
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20