• Home
• Contact information
• Personal
• Teaching
• Research
  • Events
  • People

Research

• Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad and Antonio Ruiz-Cortés  FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing. Software and System Modeling. 2015. (In press)
  
• David Benavides, Sergio Segura and Antonio Ruiz Cortés Automated Analysis of Feature Models 20 Years Later: A Literature Review http://dx.doi.org/10.1016/j.is.2010.01.001Information Systems . Elsevier. 2010. 35(6). September 2010. BiBTeX
• David Benavides, Alexander Felfernig, José A. Galindo, Florian Reinfrank: Automated Analysis in Feature Modelling and Product Configuration. ICSR 2013: 160-175 http://dx.doi.org/10.1007/978-3-642-38977-1_11 BiBTeX
• José A. Galindo; Mauricio Alférez; Mathieu Acher; Benoit Baudry; David Benavides. A Variability-Based Testing Approach for Synthesizing Video Sequences. In Proc. of the Int. Symp. on Software Testing and Analysis (ISSTA), 2014.BiBTeX
• J. White, José A. Galindo, T. Saxena, B. Dougherty, D. Benavides, D.C. Schmidt, Evolving Feature Model Configurations in Software Product Lines, Journal of Systems and Software, Available online 13 October 2013, http://dx.doi.org/10.1016/j.jss.2013.10.010
  
• Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini and David Benavides, et al.. Software diversity: state of the art and perspectives. International Journal on Software Tools for Technology Transfer (STTT), 2012, Volume 14, Number 5, Pages 477-495.
  http://dx.doi.org/10.1007/s10009-012-0253-y
• Roberto Erick Lopez-Herrejon, José Galindo, David Benavides, Sergio Segura, Alexander Egyed: Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study. SSBSE 2012: 168-182
  
• Guo, Jianmei; Wang, Yinglin; Trinidad-Martín-Arroyo, Pablo; Benavides,David. "Consistency Maintenance For Evolving Feature Models". Expert Systems With Applications. 2011, vol 39, núm. 5, p. 4987-4998.
  
• Sergio Segura, J.A. Galindo, David Benavides and Antonio Ruiz-Cortés. BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models Sixth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'12). Leipzig, Germnay. 2012. BibTeX
  
• Dhungana, D., Seichter, D., Botterweck, G., Rabiser, R., Grünbacher, P., Benavides, D., Galindo, J.: Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches. Proc. of the 15th International Software Product Line Conference (SPLC 2011), Munich, Germany, August 22-26, 2011, IEEE CS, pp. 120-129.
• F Roos-Frantz, D Benavides, A Ruiz-Cortés, A Heuer, K Lauenroth. Quality-aware analysis in product line engineering with the orthogonal variability model. Software Quality Journal Special Issue on Quality Engineering for Software Product Lines. 2012. http://dx.doi.org/10.1007/s11219-011-9156-5
  
• S. Segura, R. Hierons D. Benavides and A. Ruiz-Cortés. "Automated metamorphic testing on the analyses of feature models" . Information and Software Technology. 53(3). March  2011 http://dx.doi.org/10.1016/j.infsof.2010.11.002
  

• Software Produc Lines
• Feature Models

• Sergio Segura Rueda (graduated Feb 2011)                
• Fabricia C. Roos Frantz (graduated Feb 2012)
• Jose A. Galindo Duarte (started 2012)
  

http://www.isa.us.es/betty/

http://www.isa.us.es/fama-ovm/

http://invar.lero.ie/invarsite/app/home

Publications
 

Here are some of my publications. Click here for copyrightnotice.

• D. Benavides, PhD Dissertation: ON THE AUTOMATED ANALYSIS OF  SOFTWARE PRODUCT LINES USING FEATURE MODELS. A FRAMEWORK FOR DEVELOPING AUTOMATED TOOL SUPPORT.  University of Seville, Spain, June 2007.  
  
• S. Segura, R. Hierons D. Benavides and A. Ruiz-Cortés. Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. Third International Conference on Software Testing, Verification and Validation. Paris, France. April 6-9, 2010 (In press). Received the best presentation award.
• Jules White, David Benavides, Douglas C. Schmidt, Pablo Trinidad, Antonio Ruiz-Cortes, Brian Doughtery, Automated Diagnosis of Feature Model Configurations, Journal of Systems and Software http://dx.doi.org/10.1016/j.jss.2010.02.017
• S. Segura, R. Hierons D. Benavides and A. Ruiz-Cortés. "Mutation Testing on an Object-Oriented Framework: An Experience Report". Information and Software Technology. Special Issue on Mutation Testing. In press.
• S. Segura,  D. Benavides and A. Ruiz-Cortés. "Functional Testing of Feature Model Analysis Tools: A Test Suite". IET Software. http://dx.doi.org/10.1049/iet-sen.2009.0096 (BibTex)
• D. Benavides, S. Segura and A. Ruiz-Cortés. Automated Analysis of Feature Models: A Detailed Literature Review. Version 1.0. (ISA-09-TR-04). 
• J. White, D. Benavides, B. Dougherty, D. C. Schmidt, Automated Reasoning for Multi-step Software Product-line Configuration Problems, Software Product-lines Conference (SPLC), 10pgs. August 24-28, 2009, San Francisco, CA
  
• J. White,  D. Benavides, D. C. Schmidt, P. Trinidad, A. Ruiz-Cortés. Software Product Line Conference 2008 (SPLC'08), received the best paper award: Automated Diagnosis of Product-line Configuration Errors in Feature Models. September 2008 BibTex    
  
• P. Trinidad, A. Ruiz-Cortés, D. Benavides, S. Segura and A. Jimenez. 12th International Software Product Line Conference (SPLC 2008), Limerick, Ireland FAMA Framework .BibTeX
• S. Segura, D. Benavides, P. Trinidad, A. Ruiz-Cortés. Post-proceedings Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'07): "Automated Merging of Feature Models using Graph Transformations ".  Braga, Portugal. 2007. BibTex 
• A. Hubaux, P. Heymans, D. Benavides. Software Product Line Conference 2008 (in press): Variability Modelling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project . September 2008 BibTex    
• P. Trinidad, D. Benavides, A. Durán, A. Ruiz-Cortés, M. Toro. Journal of Systems and Software. Volume 81, Issue 6, June 2008, Pages 883-896 : "Agile Error Analysis of Feature Models BibTex   
  
• D. Benavides, S. Segura, P. Trinidad and A.Ruiz-Cortés.  First International Workshop on Variability Modelling of Software-intensive Systems (VAMOS): "FAMA: Tooling a Framework for the Automated Analysis of Feature Models ".  January 2007. BibTex     
• D. Batory, D. Benavides and A. Ruiz-Cortés.  Communications of the ACM (Special Section on Software Produc Lines): "Automated Analyses of Feature Models: Challenges Ahead".  December 2006. BibTex    
• J. Bermejo, P. Trinidad, D. Benavides, A. Ruiz-Cortés   Telvent: System Families Variability Management using Design Patterns.  Product Lines in Action (Springer-Verlag) - Chapter 17 . 2007
• D. Benavides, P. Trinidad and A. Ruiz-Cortés. The 17th Conference on Advanced Information Systems Engineering (CAiSE'05): "Automated Reasoning on Feature Models".  Porto, Portugal. 2005. BibTex   
  
• D. Benavides, A.Ruiz-Cortés, P. Trinidad and S. Segura. Jornadas de Ingeniería del Software y Bases de Datos (JISBD'06):   "A Survey on the Automated Analyses of Feture Models" .  Sitges. 2006. BibTex 
  
• D. Benavides, S. Segura, P. Trinidad and A.Ruiz-Cortés. Managing Variability for Software Product Lines: Working With Variability Mechanisms (SPLC'06): "A first step towards a framework for the automated analysis of feature models" .  Baltimore. 2006. BibTex    
  
• D. Benavides, S. Segura, P. Trinidad and A. Ruiz-Cortés. Post-proceedings Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE'05): "Using Java CSP Solvers in the Automated Analyses of Feature Models".  Braga, Portugal. 2005. BibTex
• D. Benavides, P. Trinidad and A. Ruiz-Cortés.  The Seventeenth International Conference on Software Engineering and Knowledge Engineering (SEKE'05): "Using Constraint Programming to Reason on Feature Models".  Taipei, China. 2005 
  
• D. Benavides, S. Trujillo and P. Trinidad.  First Europeean WorkShop on Model Transformation (EWMT'05): "On the Modularization of Feature Models".  Rennes, France. 2005    
  

Other Publications                   

R. Corchuelo, A. Ruiz-Cortés, D. Benavides.  "New Methods and Tools Supporting E-Commerce II" .  Kronos.  2002

D. Benavides, A. Ruiz-Cortés, O. Martín-Díaz, J. Bermejo. New Methods and Tools Supporting E-Commerce II: "A First Approach to Build Product Lines of MOWS". pp. 61-66.  .  2002

O. Martín-Díaz, A. Ruiz-Cortés, R. Corchuelo, D. Benavides. New Methods and Tools Supporting E-Commerce II: "Putting The Foundations for a Management and Execution Environment for MOWS". pp. 93-102.  .  2002

A. Ruiz-Cortés, R. Corchuelo, A. Durán, D. Benavides. Applying Requirements Engineering: "Automatic Detection of Conflicts in Quality Requirements". pp. 121-130.  Catedral.  2002

D. Benavides, A. Durán, M.A. Serrano, C. Montes-Oca.  Simposio de Informática y Telecomunicaciones SIT 2002: "Quality of Service Variability in System Families Based on Web Services".  Sevilla, Spain.  pp. 205-218.  2002

D. Benavides, A. Ruiz-Cortés, M. Toro.  Primer Workshop en Métodos de Investigación y Fundamentos Filosóficos en Ingeniería del Software MIFISIS 2002: "Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software".  Universidad Rey Juan Carlos, Spain.  pp. 97-106.  2002

D. Benavides, A. Ruiz-Cortés, R. Corchuelo, O. Martín-Díaz, J. Bermejo.  ZOCO: Métodos y Herramientas para el Comercio Electrónico: "A First Approach to Build Product Lines of MOWS".  San Lorenzo del Escorial, Spain.  pp. 73-78.  2002

D. Benavides, A. Ruiz-Cortés, R. Corchuelo, A. Durán.  Worshop on Modeling Variability for Object-Oriented Product Lines at ECOOP'03: "Seeking for Extra-Functional Variability".  Darmstadt, Germany.  pp. 58-63.  2003  

A. Durán, D. Benavides, J. Bermejo.  5th. International Workshop on Software Product-Family Engineering PFE'03: "Appliying System Families Concepts to Requirements Engineering Process Definition".  Springer-Verlag LNCS 3014.  Siena, Italy.  pp. 140.  2003

O. Martín-Díaz, A. Ruiz-Cortés, D. Benavides, A. Durán, M. Toro.  4th. VLDB Workshop on Technologies for E-services TES'03: "A Quality-aware Approach to Web Services Procurement".  Springer-Verlag LNCS 2819.  Berlin, Germany.  pp. 42-53.  2003

O. Martín-Díaz, A. Ruiz-Cortés, A. Durán, D. Benavides, M. Toro.  1st. International Conference on Service Oriented Computing ICSOC'03: "Automating the Procurement of Web Services".  Springer-Verlag LNCS 2910.  Trento, Italy.  pp. 91-103.  2003

O. Martín-Díaz, D. Benavides, J. Peña, M. Toro.  VIII Jornadas de Ingeniería del Software y Bases de Datos JISBD'03: "Un Tratamiento Sensible a la Calidad para la Adquisición de Servicios Web".  Alicante, España.  pp. 209-220.  2003  

D. Benavides, A. Ruiz-Cortés, R. Corchuelo,  O. Martín-Díaz.  International Workshop on Requirements Reuse in System Family Engineering: "SPL Needs an Automatic Holistic Model for Software Reasoning with Feature Models".  Universidad Politécnica de Madrid.  Madrid, Spain.  pp. 27-33.  2004  

Copyright Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Submenu

• Events
• People