Sergio Segura

Search-based mutation testing to improve performance tests

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Ana B. Sánchez, 2018, GECCO.

ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation

Antonio Ruiz-Cortés, Robert M. Hierons, Sergio Segura, 2013 .

From Requirements to Web System Design. An Automated Approach using Graph Transformations

Antonio Ruiz-Cortés, María José Escalona, Sergio Segura, 2006 .

Multi-objective test case prioritization in highly configurable systems: A case study

Antonio Ruiz Cortés, Alexander Egyed, Roberto Erick Lopez-Herrejon, 2016, J. Syst. Softw..

FAMA Framework

Antonio Ruiz Cortés, Pablo Trinidad Martín-Arroyo, Sergio Segura, 2008, 2008 12th International Software Product Line Conference.

Automated Merging of Feature Models Using Graph Transformations

Antonio Ruiz Cortés, Pablo Trinidad Martín-Arroyo, Sergio Segura, 2007, GTTSE.

Assessment of C++ object‐oriented mutation operators: A selective mutation approach

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Sergio Segura, 2017, Softw. Test. Verification Reliab..

GiGAn: evolutionary mutation testing for C++ object-oriented systems

Inmaculada Medina-Bulo, Pedro Delgado-Pérez, Antonio García-Domínguez, 2017, SAC.

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing

Antonio Ruiz Cortés, Pablo Trinidad Martín-Arroyo, Amador Durán Toro, 2017, Software & Systems Modeling.