NameSegura Rueda, Sergio
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryProfesor Titular de Universidad
E-mailRequest
           
  • No. publications

    109

  • No. visits

    8976

  • No. downloads

    15597


 

PhD Thesis
Icon

Automated Test Case Generation for RESTful Web APIs: Towards a Testing as a Service Model

Ruiz Cortés, Antonio; Segura Rueda, Sergio; Martín López, Alberto (2022-07-14)
Web Application Programming Interfaces (APIs) allow software systems to interact with each other over the network. Web ...
Article
Icon

ARTE: Automated Generation of Realistic Test Inputs for Web APIs

Alonso Valenzuela, Juan Carlos; Martín López, Alberto; Segura Rueda, Sergio; García Rodríguez, José María; Ruiz Cortés, Antonio (IEEE Computer Society, 2022-01-01)
Automated test case generation for web APIs is a thriving research topic, where test cases are frequently derived from the ...
Article
Icon

Performance-Driven Metamorphic Testing of Cyber-Physical Systems

Ayerdi, Jon; Valle, Pablo; Segura Rueda, Sergio; Arrieta, Aitor; Sagardui, Goiuria; Arratibel, Maite (IEEE Computer Society, 2022-01-01)
Cyber-physical systems (CPSs) are a new generation of systems, which integrate software with physical processes. The increasing ...
Presentation
Icon

Automated Generation of Metamorphic Relations for Query-Based Systems

Segura Rueda, Sergio; Alonso, Juan C.; Martín López, Alberto; Durán Toro, Amador; Troya, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2022-01-01)
Searching and displaying data based on user queries is a pervasive feature of most software applications such as information ...
Article
Icon

Mutation testing in the wild: findings from GitHub

Sánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio (Springer, 2022-01-01)
Mutation testing exploits artificial faults to measure the adequacy of test suites and guide their improvement. It has ...
Presentation
Icon

Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case

Wozniak, Anne-Laure; Segura Rueda, Sergio; Mazo, Raúl; Leroy, Sarah (IEEE Computer Society, 2022-01-01)
artifi-cial intelligence (AI), methods have been proposed and evaluated in academia to assess the reliability of these ...
Presentation
Icon

Deep Learning-Based Prediction of Test Input Validity for RESTful APIs

Mirabella Galvin, Agatino Giuliano; Martín López, Alberto; Segura Rueda, Sergio; Valencia Cabrera, Luis; Ruiz Cortés, Antonio (2021-01-01)
Automated test case generation for RESTful web APIs is a thriving research topic due to their key role in software integration. ...
Article
Icon

Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs

Martín López, Alberto; Segura Rueda, Sergio; Müller Cejás, Carlos; Ruiz Cortés, Antonio (IEEE Computer Society, 2021-01-01)
Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be ...
Chapter of Book
Icon

Inter-Parameter Dependencies in Real-World Web APIs: The IDEA Dataset

Gupta, Varun; Gupta, Chetna; Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Auerbach Publications, 2021-01-01)
Context: Web services often impose constraints that restrict the way in which two or more input parameters can be combined ...
Presentation
Icon

Identificación Automática de Relaciones Metamórficas en Sistemas de Búsqueda

Alonso Valenzuela, Juan Carlos; Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021-01-01)
Proveer al usuario con opciones de búsqueda avanzada que faciliten el acceso a los datos que busca es una característica ...
Chapter of Book
Icon

Evaluating Testing Techniques in Highly-Configurable Systems: The Drupal Dataset

Gupta, Varun; Gupta, Chetna; Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Auerbach Publications, 2021-01-01)
Context: Software applications exposing a high ability to be extended, changed or configured are usually referred to as ...
Article
Icon

Performance mutation testing

Delgado Pérez, Pedro; Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Medina Bulo, Inmaculada (Wiley, 2021-01-01)
Performance bugs are known to be a major threat to the success of software products. Performance tests aim to detect ...
Presentation
Icon

Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?

Martín López, Alberto; Arcuri, Andrea; Segura Rueda, Sergio; Ruiz Cortés, Antonio (IEEE Computer Society, 2021-01-01)
Automated test case generation for RESTful APIs is a thriving research topic due to their critical role in software integration. ...
Presentation
Icon

Inferencia Automática de Dependencias Inter-Parámetro en APIs REST

Mirabella, A. Giuliano; Martín López, Alberto; Segura Rueda, Sergio; Valencia Cabrera, Luis; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021-01-01)
La generación automática de casos de prueba para APIs REST es un tema de investigación muy activo. La mayoría de técnicas ...
Presentation
Icon

RESTest: automated black-box testing of RESTful web APIs

Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Association for Computing Machinery (ACM), 2021-01-01)
Testing RESTful APIs thoroughly is critical due to their key role in software integration. Existing tools for the automated ...
Final Degree Project
Icon

Detección de Fake News mediante técnicas de Deep Learning

Segura Rueda, Sergio; Alonso Valenzuela, Juan Carlos (2020-01-01)
En el contexto de los medios de comunicación, las noticias falsas (también conocidas como fake news), son un tipo de noticia ...
Article
Icon

Many-Objective Test Suite Generation for Software Product Lines

Hierons, Robert M.; Li, Miqing; Liu, Xiaohui; Parejo Maestre, José Antonio; Segura Rueda, Sergio; Yao, Xin (Association for Computing Machinery (ACM), 2020-01-01)
A Software Product Line (SPL) is a set of products built from a number of features, the set of valid products being defined ...
Article
Icon

Flipping Laboratory Sessions: An Experience in Computer Science

Parejo Maestre, José Antonio; Troya, Javier; Segura Rueda, Sergio; Río Ortega, Adela del; Gámez Díaz, Antonio; Márquez Chamorro, Alfonso Eduardo (IEEE Computer Society, 2020-01-01)
This paper reports our experience in flipping a second- year undergraduate course on software architecture and integration, ...
Article
Icon

TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs

Sánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio (IEEE Computer Society, 2020-01-01)
The detection of performance bugs, like those causing an unexpected execution time, has gained much attention in the last ...
Article
Icon

Flipping Laboratory Sessions in a Computer Science Course: An Experience Report

Troya, Javier; Parejo Maestre, José Antonio; Segura Rueda, Sergio; Gámez Díaz, Antonio; Márquez Chamorro, Alfonso Eduardo; Río Ortega, Adela del (IEEE Computer Society, 2020-01-01)
Contribution: This article presents an experience report on the application of flipped classroom (FC) to the laboratory ...
Presentation
Icon

RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs

Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Springer, 2020-01-01)
Automated testing approaches for RESTful web APIs typi cally follow a black-box strategy, where test cases are derived ...
Article
Icon

Metamorphic Testing: Testing the Untestable

Segura Rueda, Sergio; Towey, Dave; Zhou, Zhi Quan; Chen, Tsong Yueh (IEEE Computer Society, 2020-01-01)
Article
Icon

Metamorphic Testing: Testing the Untestable

Segura Rueda, Sergio; Towey, Dave; Zhou, Zhi Quan; Chen, Tsong Yueh (IEEE Computer Society, 2020-01-01)
What if we could know that a program is buggy, even if we could not tell whether or not its observed output is correct? ...
Presentation
Icon

QoS-aware Metamorphic Testing: An Elevation Case Study

Ayerdi, Jon; Segura Rueda, Sergio; Arrieta, Aitor; Sagardui, Goiuria; Arratibel, Maite (IEEE Computer Society, 2020-01-01)
Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy ...
Presentation
Icon

Metamorphic Relation Patterns for Query-Based Systems

Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2019-01-01)
Searching and displaying data based on user queries is a key feature of most software applications such as information ...
Presentation
Icon

Reparación de pruebas de interfaz de usuario en Android como un problema de búsqueda

Cantón Fernández, Adrián; Parejo Maestre, José Antonio; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019-01-01)
Las pruebas de interfaz de usuario son una técnica muy popular gracias a su capacidad para validar el comportamiento de ...
Presentation
Icon

Invirtiendo las clases de laboratorio en Ingeniería Informática: Un enfoque ágil

Troya, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Río Ortega, Adela del; Gámez Díaz, Antonio; Márquez Chamorro, Alfonso Eduardo (Asociación de Enseñantes Universitarios de la Informática (AENUI), 2019-01-01)
En este artículo describimos nuestra experiencia al aplicar la metodología de clase invertida en la asigna tura Arquitectura ...
Presentation
Icon

A Catalogue of Inter-Parameter Dependencies in RESTful Web APIs

Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Springer, 2019-01-01)
Web services often impose dependency constraints that re strict the way in which two or more input parameters can be ...
Presentation
Icon

Towards the Definition of Test Coverage Criteria for RESTful Web APIs

Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019-01-01)
Web APIs following the REST architectural style (so-called RESTful Web APIs) have become the de-facto standard for ...
Presentation
Icon

Test coverage criteria for RESTful web APIs

Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Association for Computing Machinery (ACM), 2019-01-01)
Web APIs following the REST architectural style (so-called RESTful web APIs) have become the de-facto standard for software ...
Presentation
Icon

An Extended Abstract of "Metamorphic Testing: Testing the Untestable"

Segura Rueda, Sergio; Towey, Dave; Zhou, Zhi Quan; Chen, T. Y. (IEEE Computer Society, 2019-01-01)
This document is an extended abstract of an IEEE Software paper, “Metamorphic Testing: Testing the Untestable,” presented ...
Presentation
Icon

Study of Trivial Compiler Equivalence on C++ Object-Oriented Mutation Operators

Delgado Pérez, Pedro; Segura Rueda, Sergio (ACM: Association for Computing Machinery, 2019-01-01)
Trivial Compiler Equivalence (TCE) has been recently proposed as an effective technique to detect equivalences between ...
Article
Icon

Performance Metamorphic Testing: A Proof of Concept

Segura Rueda, Sergio; Troya Castilla, Javier; Durán Toro, Amador; Ruiz Cortés, Antonio (Elsevier, 2018-01-01)
Context. Performance testing is a challenging task mainly due to the lack of test oracles, i.e. mechanisms to decide whether ...
Article
Icon

Automated inference of likely metamorphic relations for model transformations

Troya Castilla, Javier; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Elsevier, 2018-01-01)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms ...
Article
Icon

Spectrum-Based Fault Localization in Model Transformations

Troya Castilla, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (ACM, 2018-01-01)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms ...
Article
Icon

Performance mutation testing: hypothesis and open questions

Sánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Segura Rueda, Sergio; Medina Bulo, Inmaculada (Elsevier, 2018-01-01)
Performance bugs are common, costly, and elusive. Performance tests aim to detect performance bugs by running the program ...
Presentation
Icon

Evaluación y mejora de pruebas de rendimiento utilizando mutación del software: Un enfoque evolutivo

Sánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018-01-01)
Los defectos de rendimiento del software pueden causar una importante degradación en la experiencia de usuario y dar lugar ...
Presentation
Icon

Search-based mutation testing to improve performance tests

Sánchez Jerez, Ana Belén; Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio (Association for Computing Machinery (ACM), 2018-01-01)
Performance bugs are common and can cause a significant deterio ration in the behaviour of a program, leading to costly ...
Presentation
Icon

Metamorphic Testing 20 Years Later: A Hands-on Introduction

Segura Rueda, Sergio; Zhou, Zhi Quan (ACM: Association for Computing Machinery, 2018-01-01)
Two of the key challengesin software testing are the automated gen eration of test cases, and the identification of failures ...
Article
Icon

Spectrum-based fault localization in software product lines

Arrieta, Aitor; Segura Rueda, Sergio; Markiegi, Urtzi; Sagardui, Goiuria; Etxeberria, Leire (Elsevier, 2018-01-01)
Context: Software Product Line (SPL) testing is challenging mainly due to the potentially huge number of products under ...
Article
Icon

Variability testing in the wild: the Drupal case study

Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Springer, 2017-01-01)
Variability testing techniques search for effective and manageable test suites that lead to the rapid detection of faults ...
Article
Icon

Evolutionary composition of QoS-aware web services: a many-objective perspective

Ramírez, Aurora; Parejo Maestre, José Antonio; Romero, José Raúl; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Elsevier, 2017-01-01)
Web service based applications often invoke services provided by third-parties in their workflow. The Quality of Service ...
Presentation
Icon

Performance Metamorphic Testing: Motivation and Challenges

Segura Rueda, Sergio; Troya Castilla, Javier; Durán Toro, Amador; Ruiz Cortés, Antonio (ACM Digital Library, 2017-01-01)
Performance testing is a challenging task mainly due to the lack of test oracles, that is, mechanisms to decide whether the ...
Presentation
Icon

A Template–Based Approach to Describing Metamorphic Relations

Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2017-01-01)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different ...
Presentation
Icon

An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization

Troya Castilla, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Universidad de la Laguna, 2017-01-01)
Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for ...
Article
Icon

Metamorphic Testing of RESTful Web APIs

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2017-01-01)
Web Application Programming Interfaces (APIs) allow systems to interact with each other over the network. Modern Web APIs ...
Presentation
Icon

Domain-Specific Languages and Model Transformations for Soft ware Product Line

Troya Castilla, Javier; Tolvanen, Juha-Pekka; Segura Rueda, Sergio (ACM Digital Library, 2017-01-01)
is tutorial introduces and demonstrates the use of Model-Driven Engineering in So ware Product Lines. In particular, it ...
Report
Icon

Metamorphic Relation Template v1.0 : Technical Report ISA-17-TR-01

Segura Rueda, Sergio; Durán Toro, Amador; Troya, Javier; Ruiz Cortés, Antonio (2017-01-01)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among ...
Presentation
Icon

SmarTest: A Test Case Prioritization Tool for Drupal

Sánchez Jerez, Ana Belén; Segura Rueda, Sergio (Association for Computing Machinery (ACM), 2017-01-01)
Test case prioritization techniques aim to identify the optimal ordering of tests to accelerate the detection of faults. ...
Article
Icon

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

Delgado Pérez, Pedro; Segura Rueda, Sergio; Medina Bulo, Inmaculada (Wiley, 2017-01-01)
Mutation testing is an effective but costly testing technique. Several studies have observed that some mutants can be ...
Presentation
Icon

GiGAn: Evolutionary Mutation Testing for C++ Object-Oriented Systems

Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio; García Domínguez, Antonio; Domínguez Jiménez, Juan José (ACM: Association for Computing Machinery, 2017-01-01)
The reduction of the expenses of mutation testing should be based on well-studied cost reduction techniques to avoid bi ...
PhD Thesis
Icon

Test case prioritization in highly-configurable systems

Ruiz Cortés, Antonio; Segura Rueda, Sergio; Sánchez Jerez, Ana Belén (2016-05-23)
Highly-configurable software systems (HCSs) provide a common core functionality and a set of optional features, where a ...
Article
Icon

A Survey on Metamorphic Testing

Segura Rueda, Sergio; Fraser, Gordon; Sánchez Jerez, Ana Belén; Ruiz Cortés, Antonio (2016-02-29)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the ...
Article
Icon

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

Parejo Maestre, José Antonio; Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Ruiz Cortés, Antonio; López Herrejón, Roberto E.; Egyed, Alexander (Elsevier, 2016-01-01)
Test case prioritization schedules test cases for execution in an order that attempts to accelerate the detection of faults. ...
Article
Icon

SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization

Hierons, Robert M.; Li, Miqing; Liu, Xiaohui; Segura Rueda, Sergio; Zheng, Wei (ACM, 2016-01-01)
A feature model specifies the sets of features that define valid products in a software product line. Recent work has ...
Presentation
Icon

Towards the Automation of Metamorphic Testing in Model Transformations

Troya Castilla, Javier; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Universidad de Salamanca, 2016-01-01)
Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating ...
Presentation
Icon

Probando sistemas altamente configurables mediante análisis automático de modelos de características: el caso de Android

Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016-01-01)
Final Degree Project
Icon

Gitbug: Predicción de errores en repositorios de Git

Segura Rueda, Sergio; Rojas Jiménez, Álvaro (2016-01-01)
Realizar pruebas software de manera correcta es un ejercicio sumamente importante ya que depurar, testear, y las actividades ...
Presentation
Icon

Configuración guiada por búsqueda de aplicaciones basadas en micro-servicios

Parejo Maestre, José Antonio; Ramírez, Aurora; Romero, José Raúl; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016-01-01)
Organizaciones como Netflix, Google o Amazon hacen uso de arquitecturas basadas en micro-servicios, lo que ha disparado ...
Report
Icon

Metamorphic Testing: A Literature Review - Version 1.3 (Technical Report ISA-16-TR-02)

Segura Rueda, Sergio; Fraser, Gordon; Sánchez Jerez, Ana Belén; Ruiz Cortés, Antonio (2016-01-01)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to ...
Presentation
Icon

Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos

Delgado Pérez, Pedro; Medina Bulo, Inmaculada; Segura Rueda, Sergio; García Domínguez, Antonio; Domínguez Jiménez, Juan José (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016-01-01)
A pesar del beneficio que puede reportar la prueba de muta ciones en el proceso de prueba de software, el coste que supone ...
Article
Icon

Automated metamorphic testing of variability analysis tools

Segura Rueda, Sergio; Durán Toro, Amador; Sánchez Jerez, Ana Belén; Le Berre, Daniel; Lonca, Emmanuel; Ruiz Cortés, Antonio (Wiley, 2015-01-01)
Variability determines the capability of software applications to be configured and customized. A common need during the ...
Article
Icon

An assessment of search-based techniques for reverse engineering feature models

López Herrejón, Roberto E.; Linsbauer, Lukas; Galindo Duarte, José Ángel; Parejo Maestre, José Antonio; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Egyed, Alexander (Elsevier, 2015-01-01)
Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and ...
Article
Icon

FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing

Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2015-01-01)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ...
Presentation
Icon

Automated Variability Analysis and Testing of an E-Commerce Site. An Experience Report

Segura Rueda, Sergio; Sánchez Jerez, Ana Belén; Ruiz Cortés, Antonio (ACM, 2014-01-01)
In this paper, we report on our experience on the development of La Hilandera, an e-commerce site selling haberdashery products ...
Presentation
Icon

A Comparison of Test Case Prioritization Criteria for Software Product Lines

Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2014-01-01)
Software Product Line (SPL) testing is challenging due to the potentially huge number of derivable products. To alleviate ...
Presentation
Icon

The Drupal Framework: a Case Study to Evaluate Variability Testing Techniques

Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2014-01-01)
Variability testing techniques search for effective but manageable test suites that lead to the rapid detection of faults ...
Article
Icon

Qos-Aware Web Services Composition Using Grasp with Path Relinking

Parejo Maestre, José Antonio; Segura Rueda, Sergio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (Elsevier, 2014-01-01)
In service oriented scenarios, applications are created by composing atomic services and exposing the resulting added value ...
Presentation
Icon

EXEMPLAR: An Experimental Information Repository for Software Engineering Research

Parejo Maestre, José Antonio; Segura Rueda, Sergio; Fernández Montes, Pablo; Ruiz Cortés, Antonio (2014-01-01)
The number and variety of experiments carried in software engineering research is growing, leading to a increasing need ...
Article
Icon

Automated Generation of Computationally Hard Feature Models Using Evolutionary Algorithms

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2014-01-01)
A feature model is a compact representation of the products of a software product line. The automated extraction of ...
Presentation
Icon

Towards Multi-Objective Test Case generation for Variability-Intensive Systems

Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014-01-01)
Testing variability-intensive systems is a challenge due to the potentially huge number of derivable configurations. To ...
PhD Thesis
IconIcon

Moses: a metaheuristic optimization software ecosystem. Applications to the automated analysis of software product lines and service-based applications

Ruiz Cortés, Antonio; Segura Rueda, Sergio; Parejo Maestre, José Antonio (2013-10-01)
Muchas de las situaciones a las que nos enfrentamos cada día pueden expresarse como problemas de optimización. Un problema ...
Article
Icon

Priorización de casos de prueba. Avances y retos

Sánchez Jerez, Ana Belén; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Técnicos de Informática, 2013-01-01)
Report
Icon

Automated Metamorphic Testing on the Analysis of Software Variability: Technical Report ISA-2013-TR-03

Segura Rueda, Sergio; Durán Toro, Amador; Sánchez Jerez, Ana Belén; Le Berre, Daniel; Lonca, Emmanuel; Ruiz Cortés, Antonio (2013-01-01)
Variability determines the ability of software applications to be configured and customized. A common need during the ...
Presentation
Icon

Achieving Replicability: Is There Life for Our Experiments After Publication?

Parejo Maestre, José Antonio; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2013-01-01)
Metaheuristics are algorithmic schemes that ease the derivation of novel algorithms to solve optimization problems. These ...
Report
Icon

ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.3) TECHNICAL REPORT ISA-2013-TR-01

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2013-01-01)
Chapter of Book
Icon

FaMa

Capilla, Rafael; Bosch, Jan; Kang, Kyo-Chul; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Segura Rueda, Sergio (Springer, 2013-01-01)
Presentation
Icon

BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models

Segura Rueda, Sergio; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (ACM, 2012-01-01)
The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and ...
Presentation
Icon

Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study

López Herrejón, Roberto E.; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Egyed, Alexander (Springer, 2012-01-01)
Successful software evolves, more and more commonly, from a single system to a set of system variants tailored to meet the ...
Report
Icon

ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.2): Technical Report ISA-2012-TR-05

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2012-01-01)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ...
Presentation
Icon

BeTTy: Un Framework de Pruebas para el Análisis Automático de Modelos de Características

Segura Rueda, Sergio; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Parejo Maestre, José Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012-01-01)
El análisis automático de modelos de características es un área de investigación activo que ha llamado la atencíon de ...
Report
Icon

A test suite for an Agreement Document Analyser (v 1.0) : Technical Report ISA–12–TR–03

Müller Cejás, Carlos; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2012-01-01)
The automated analysis operations of WS–Agreement documents proposed in recent works [1, 2, 3, 4] uses complex techniques ...
Presentation
Icon

Evaluación y seguimiento de trabajos en equipo de desarrollo de software a través de la calidad del código fuente

Trinidad Martín Arroyo, Pablo; Resinas Arias de Reyna, Manuel; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2012-01-01)
Report
Icon

ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation - TECHNICAL REPORT ISA-2012-TR-01 (v. 1.1)

Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2012-01-01)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ...
Presentation
Icon

Automated testing on the analysis of variability-intensive artifacts: An exploratory study with SAT Solvers

Sánchez Jerez, Ana Belén; Segura Rueda, Sergio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012-01-01)
The automated detection of faults on variability analysis tools is a challenging task often infeasible due to the combinatorial ...
Report
Icon

FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02

Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2012-01-01)
Software product lines are rapidly gaining importance across different application domains. This software production ...
Article
Icon

Mutation Testing on An Object-Oriented Framework: An Experience Report

Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2011-01-01)
Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the ...
Article
Icon

Automated Metamorphic Testing on the Analyses of Feature Models

Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2011-01-01)
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of ...
Article
Icon

Functional Testing of Feature Model Analysis Tools: a Test Suite

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio (Institution of Engineering and Technology, 2011-01-01)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...
Presentation
Icon

Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis

Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Segura Rueda, Sergio (2010-01-01)
The automated analysis of variability models in general and feature models in particular is a thriving research topic. ...
Presentation
Icon

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach

Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (IEEE Computer Society, 2010-01-01)
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction ...
Report
Icon

FaMa Test Suite v1.2: ISA Technical Report ISA-10-TR-01

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2010-01-01)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...
Article
Icon

Automated analysis of feature models 20 years later: a literature review

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2010-01-01)
Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ...
PhD Thesis
IconIcon

Functional and performance testing of feature model analysis tools Extending the fama ecosystem

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio (2010-01-01)
La ingeniería de líneas de productos es un paradigma de desarrollo orientado a construir familias de sistemas software que ...
Presentation
Icon

Benchmarking on the Automated Analyses of Feature Models: a Preliminary Roadmap

Segura Rueda, Sergio; Ruiz Cortés, Antonio (2009-01-01)
The automated analysis of Feature Models (FMs) is becoming a well-established discipline. New analysis operations, tools ...
Presentation
Icon

Three-Dimensional Feature Diagrams Visualization

Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Segura Rueda, Sergio (2008-01-01)
Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ...
Presentation
Icon

Functional Testing of Feature Model Analysis Tools. A First Step

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2008-01-01)
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement ...
Presentation
Icon

Fama Framework

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio; Jiménez, Alberto (2008-01-01)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ...
Presentation
Icon

FAMA: hacia el análisis automático de modelos de características

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007-01-01)
Presentation
Icon

Automated Merging of Feature Models using Graph Transformations

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ...
Presentation
Icon

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

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Escalona Cuaresma, María José (2007-01-01)
Building Web design models from requirements specification is recognised as a timeconsuming and error-prone task. in this ...
Presentation
Icon

Towards Automated Refactoring of Feature Models Using Graph Transformations

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature ...
Presentation
Icon

Fama: Tooling a Framework for the Automated Analysis of Feature Models

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2007-01-01)
The automated analysis of feature models is recognized as one of the key challenges for automated software development in ...
Presentation
Icon

A Taxonomy of Variability in Web Service Flows

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ...
Presentation
Icon

Open Source Tools for Software Product Line Development

Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007-01-01)
Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ...
Presentation
Icon

A First Step Towards a Framework for the Automated Analysis of Feature Models

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2006-01-01)
Feature modelling is a common mechanism for variability management in the context of software product lines. After years ...
Presentation
Icon

A Survey on the Automated Analyses of Feture Models

Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo; Segura Rueda, Sergio (2006-01-01)
Feature models are one of the most important assets in software product line engineering when capturing variability. ...
Presentation
Icon

Explanations for Agile Feature Models

Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio; Toro Bonilla, Miguel (2006-01-01)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ...
Presentation
Icon

Using Java Csp Solvers in the Automated Analyses of Feature Models

Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2005-01-01)
Feature Models are used in different stages of software development and are recognized to be an important asset in model ...