Data

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

  Statistics

  • Items

    60

  • Visits

    5890

  • Downloads

    10106

  Publications

 

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 ...
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. ...
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 ...
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 ...
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

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

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

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

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 ...
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, Ana B.; 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 ...
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 ...
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)
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 ...
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

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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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)
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)
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 ...
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

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

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 ...
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

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

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 ...
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. ...
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 ...
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 ...
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 ...
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

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

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

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

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

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

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

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

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 ...