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 | 1648 | 2010 |
Automated reasoning on feature models D Benavides, P Trinidad, A Ruiz-Cortés International Conference on Advanced Information Systems Engineering, 491-503, 2005 | 950 | 2005 |
Automated analysis of feature models: challenges ahead D Batory, D Benavides, A Ruiz-Cortes Communications of the ACM 49 (12), 45-47, 2006 | 324 | 2006 |
Fama: Tooling a framework for the automated analysis of feature models. D Benavides, S Segura, P Trinidad, AR Cortés VaMoS 2007, 01, 2007 | 318 | 2007 |
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 | 220* | 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 | 213 | 2008 |
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 | 202 | 2012 |
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 | 201 | 2008 |
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 | 164 | 2009 |
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 | 147 | 2012 |
Fama framework P Trinidad, D Benavides, A Ruiz-Cortés, S Segura, A Jimenez 2008 12th International Software Product Line Conference, 359-359, 2008 | 147 | 2008 |
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 | 145 | 2010 |
Using Constraint Programming to Reason on Feature Models. D Benavides, P Trinidad, AR Cortés SEKE 5, 677-682, 2005 | 129 | 2005 |
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 | 111 | 2011 |
Automated analysis of feature models: Quo vadis? JA Galindo, D Benavides, P Trinidad, AM Gutiérrez-Fernández, ... Computing 101, 387-433, 2019 | 108 | 2019 |
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 | 108 | 2006 |
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 | 98 | 2007 |
On the automated analysis of software product lines using feature models: a framework for developing automated tool support D Benavides Universidad de Sevilla, 2007 | 95 | 2007 |
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 | 92 | 2015 |
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis. JA Galindo, D Benavides, S Segura ACoTA, 29-34, 2010 | 90 | 2010 |