Author profile: Segura Rueda, Sergio
Institutional data
Name | Segura Rueda, Sergio |
Department | Lenguajes y Sistemas Informáticos |
Knowledge area | Lenguajes y Sistemas Informáticos |
Professional category | Catedrático de Universidad |
Request | |
Statistics
-
No. publications
117
-
No. visits
14961
-
No. downloads
27670
Publications |
---|
Presentation
Toward Dependency-Aware API Gateways
(SISTEDES: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software, 2023)
Web APIs often include inter-parameter dependencies that constrain how input parameters can be combined to form valid calls ... |
Article
Model Transformation Testing and Debugging: A Survey
(ACM Digital Library, 2022)
Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a ... |
PhD Thesis
Automated Test Case Generation for RESTful Web APIs: Towards a Testing as a Service Model
(2022)
Web Application Programming Interfaces (APIs) allow software systems to interact with each other over the network. Web ... |
Article
ARTE: Automated Generation of Realistic Test Inputs for Web APIs
(IEEE Computer Society, 2022)
Automated test case generation for web APIs is a thriving research topic, where test cases are frequently derived from the ... |
Presentation
Automated Code Generation for Inter-parameter Dependencies in REST APIs
(Sistedes, 2022)
The generation of code templates from REST API specifications is a common practice in industry. However, existing tools ... |
Article
Mutation testing in the wild: findings from GitHub
(Springer, 2022)
Mutation testing exploits artificial faults to measure the adequacy of test suites and guide their improvement. It has ... |
Presentation
Robustness Testing of a Machine Learning-based Road Object Detection System: An Industrial Case
(IEEE Computer Society, 2022)
artifi-cial intelligence (AI), methods have been proposed and evaluated in academia to assess the reliability of these ... |
Article
Performance-Driven Metamorphic Testing of Cyber-Physical Systems
(IEEE Computer Society, 2022)
Cyber-physical systems (CPSs) are a new generation of systems, which integrate software with physical processes. The increasing ... |
Master's Final Project
Generación automática de oráculos de prueba para APIs REST
(2022)
La generación automática de casos de prueba para APIs RESTful es un área de investigación en auge, dado el rol que desempeñan ... |
Presentation
Automated Generation of Metamorphic Relations for Query-Based Systems
(IEEE Computer Society, 2022)
Searching and displaying data based on user queries is a pervasive feature of most software applications such as information ... |
Presentation
Pruebas de Mutación de APIs Web: Un Enfoque de Caja Negra
(Sistedes, 2022)
Las Interfaces de Programación de Aplicaciones (APIs) web tienen un papel clave en la integración de aplicaciones, por lo ... |
Presentation
Pruebas de Mutación de Caja Negra para APIs Web
(SISTEDES: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software, 2021)
Las Interfaces de Programación de Aplicaciones (APIs) web desempeñan un papel clave en la integración de aplicaciones, por ... |
Presentation
Especificación y Análisis Automático de Dependencias Inter-Parámetro en APIs Web
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
Los servicios web suelen imponer dependencias entre parámetros (también llamadas dependencias inter-parámetro) que restringen ... |
Article
Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs
(IEEE Computer Society, 2021)
Web services often impose inter-parameter dependencies that restrict the way in which two or more input parameters can be ... |
Presentation
Inferencia Automática de Dependencias Inter-Parámetro en APIs REST
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
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
RESTest: automated black-box testing of RESTful web APIs
(Association for Computing Machinery (ACM), 2021)
Testing RESTful APIs thoroughly is critical due to their key role in software integration. Existing tools for the automated ... |
Chapter of Book
Inter-Parameter Dependencies in Real-World Web APIs: The IDEA Dataset
(Auerbach Publications, 2021)
Context: Web services often impose constraints that restrict the way in which two or more input parameters can be combined ... |
Article
Performance mutation testing
(Wiley, 2021)
Performance bugs are known to be a major threat to the success of software products. Performance tests aim to detect ... |
Presentation
Identificación Automática de Relaciones Metamórficas en Sistemas de Búsqueda
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
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
Evaluating Testing Techniques in Highly-Configurable Systems: The Drupal Dataset
(Auerbach Publications, 2021)
Context: Software applications exposing a high ability to be extended, changed or configured are usually referred to as ... |
Presentation
Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?
(IEEE Computer Society, 2021)
Automated test case generation for RESTful APIs is a thriving research topic due to their critical role in software integration. ... |
Presentation
Deep Learning-Based Prediction of Test Input Validity for RESTful APIs
(2021)
Automated test case generation for RESTful web APIs is a thriving research topic due to their key role in software integration. ... |
Article
TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs
(IEEE Computer Society, 2020)
The detection of performance bugs, like those causing an unexpected execution time, has gained much attention in the last ... |
Article
Flipping Laboratory Sessions: An Experience in Computer Science
(IEEE Computer Society, 2020)
This paper reports our experience in flipping a second- year undergraduate course on software architecture and integration, ... |
Presentation
QoS-aware Metamorphic Testing: An Elevation Case Study
(IEEE Computer Society, 2020)
Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy ... |
Final Degree Project
Detección de Fake News mediante técnicas de Deep Learning
(2020)
En el contexto de los medios de comunicación, las noticias falsas (también conocidas como fake news), son un tipo de noticia ... |
Article
Metamorphic Testing: Testing the Untestable
(IEEE Computer Society, 2020)
|
Article
Many-Objective Test Suite Generation for Software Product Lines
(Association for Computing Machinery (ACM), 2020)
A Software Product Line (SPL) is a set of products built from a number of features, the set of valid products being defined ... |
Article
Flipping Laboratory Sessions in a Computer Science Course: An Experience Report
(IEEE Computer Society, 2020)
Contribution: This article presents an experience report on the application of flipped classroom (FC) to the laboratory ... |
Presentation
RESTest: Black-Box Constraint-Based Testing of RESTful Web APIs
(Springer, 2020)
Automated testing approaches for RESTful web APIs typi cally follow a black-box strategy, where test cases are derived ... |
Presentation
Study of Trivial Compiler Equivalence on C++ Object-Oriented Mutation Operators
(ACM: Association for Computing Machinery, 2019)
Trivial Compiler Equivalence (TCE) has been recently proposed as an effective technique to detect equivalences between ... |
Presentation
Towards the Definition of Test Coverage Criteria for RESTful Web APIs
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
Web APIs following the REST architectural style (so-called RESTful Web APIs) have become the de-facto standard for ... |
Presentation
A Catalogue of Inter-Parameter Dependencies in RESTful Web APIs
(Springer, 2019)
Web services often impose dependency constraints that re strict the way in which two or more input parameters can be ... |
Presentation
Test coverage criteria for RESTful web APIs
(Association for Computing Machinery (ACM), 2019)
Web APIs following the REST architectural style (so-called RESTful web APIs) have become the de-facto standard for software ... |
Presentation
Metamorphic Relation Patterns for Query-Based Systems
(IEEE Computer Society, 2019)
Searching and displaying data based on user queries is a key feature of most software applications such as information ... |
Presentation
Invirtiendo las clases de laboratorio en Ingeniería Informática: Un enfoque ágil
(Asociación de Enseñantes Universitarios de la Informática (AENUI), 2019)
En este artículo describimos nuestra experiencia al aplicar la metodología de clase invertida en la asigna tura Arquitectura ... |
Presentation
Reparación de pruebas de interfaz de usuario en Android como un problema de búsqueda
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019)
Las pruebas de interfaz de usuario son una técnica muy popular gracias a su capacidad para validar el comportamiento de ... |
Presentation
An Extended Abstract of "Metamorphic Testing: Testing the Untestable"
(IEEE Computer Society, 2019)
This document is an extended abstract of an IEEE Software paper, “Metamorphic Testing: Testing the Untestable,” presented ... |
Article
Spectrum-based fault localization in software product lines
(Elsevier, 2018)
Context: Software Product Line (SPL) testing is challenging mainly due to the potentially huge number of products under ... |
Article
Performance Metamorphic Testing: A Proof of Concept
(Elsevier, 2018)
Context. Performance testing is a challenging task mainly due to the lack of test oracles, i.e. mechanisms to decide whether ... |
Presentation
Metamorphic Testing 20 Years Later: A Hands-on Introduction
(ACM: Association for Computing Machinery, 2018)
Two of the key challengesin software testing are the automated gen eration of test cases, and the identification of failures ... |
Article
Spectrum-Based Fault Localization in Model Transformations
(ACM, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms ... |
Presentation
Search-based mutation testing to improve performance tests
(Association for Computing Machinery (ACM), 2018)
Performance bugs are common and can cause a significant deterio ration in the behaviour of a program, leading to costly ... |
Article
Automated inference of likely metamorphic relations for model transformations
(Elsevier, 2018)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms ... |
Presentation
Evaluación y mejora de pruebas de rendimiento utilizando mutación del software: Un enfoque evolutivo
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018)
Los defectos de rendimiento del software pueden causar una importante degradación en la experiencia de usuario y dar lugar ... |
Article
Performance mutation testing: hypothesis and open questions
(Elsevier, 2018)
Performance bugs are common, costly, and elusive. Performance tests aim to detect performance bugs by running the program ... |
Presentation
A Template–Based Approach to Describing Metamorphic Relations
(IEEE Computer Society, 2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different ... |
Presentation
SmarTest: A Test Case Prioritization Tool for Drupal
(Association for Computing Machinery (ACM), 2017)
Test case prioritization techniques aim to identify the optimal ordering of tests to accelerate the detection of faults. ... |
Presentation
Domain-Specific Languages and Model Transformations for Soft ware Product Line
(ACM Digital Library, 2017)
is tutorial introduces and demonstrates the use of Model-Driven Engineering in So ware Product Lines. In particular, it ... |
Presentation
An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
(Universidad de la Laguna, 2017)
Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for ... |
Article
Evolutionary composition of QoS-aware web services: a many-objective perspective
(Elsevier, 2017)
Web service based applications often invoke services provided by third-parties in their workflow. The Quality of Service ... |
Article
Metamorphic Testing of RESTful Web APIs
(IEEE Computer Society, 2017)
Web Application Programming Interfaces (APIs) allow systems to interact with each other over the network. Modern Web APIs ... |
Article
Assessment of C++ object-oriented mutation operators: A selective mutation approach
(Wiley, 2017)
Mutation testing is an effective but costly testing technique. Several studies have observed that some mutants can be ... |
Article
Variability testing in the wild: the Drupal case study
(Springer, 2017)
Variability testing techniques search for effective and manageable test suites that lead to the rapid detection of faults ... |
Presentation
Performance Metamorphic Testing: Motivation and Challenges
(ACM Digital Library, 2017)
Performance testing is a challenging task mainly due to the lack of test oracles, that is, mechanisms to decide whether the ... |
Report
Metamorphic Relation Template v1.0 : Technical Report ISA-17-TR-01
(2017)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among ... |
Presentation
GiGAn: Evolutionary Mutation Testing for C++ Object-Oriented Systems
(ACM: Association for Computing Machinery, 2017)
The reduction of the expenses of mutation testing should be based on well-studied cost reduction techniques to avoid bi ... |
PhD Thesis
Test case prioritization in highly-configurable systems
(2016)
Highly-configurable software systems (HCSs) provide a common core functionality and a set of optional features, where a ... |
Article
A Survey on Metamorphic Testing
(2016)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the ... |
Presentation
Configuración guiada por búsqueda de aplicaciones basadas en micro-servicios
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
Organizaciones como Netflix, Google o Amazon hacen uso de arquitecturas basadas en micro-servicios, lo que ha disparado ... |
Final Degree Project
Gitbug: Predicción de errores en repositorios de Git
(2016)
Realizar pruebas software de manera correcta es un ejercicio sumamente importante ya que depurar, testear, y las actividades ... |
Presentation
Probando sistemas altamente configurables mediante análisis automático de modelos de características: el caso de Android
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
|
Article
Multi-objective test case prioritization in highly configurable systems: A case study
(Elsevier, 2016)
Test case prioritization schedules test cases for execution in an order that attempts to accelerate the detection of faults. ... |
Presentation
Towards the Automation of Metamorphic Testing in Model Transformations
(Universidad de Salamanca, 2016)
Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating ... |
Presentation
Prueba de Mutación Evolutiva Aplicada a Sistemas Orientados a Objetos
(Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
A pesar del beneficio que puede reportar la prueba de muta ciones en el proceso de prueba de software, el coste que supone ... |
Article
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization
(ACM, 2016)
A feature model specifies the sets of features that define valid products in a software product line. Recent work has ... |
Report
Metamorphic Testing: A Literature Review - Version 1.3 (Technical Report ISA-16-TR-02)
(2016)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to ... |
Article
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ... |
Article
An assessment of search-based techniques for reverse engineering feature models
(Elsevier, 2015)
Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and ... |
Article
Automated metamorphic testing of variability analysis tools
(Wiley, 2015)
Variability determines the capability of software applications to be configured and customized. A common need during the ... |
Article
Qos-Aware Web Services Composition Using Grasp with Path Relinking
(Elsevier, 2014)
In service oriented scenarios, applications are created by composing atomic services and exposing the resulting added value ... |
Presentation
EXEMPLAR: An Experimental Information Repository for Software Engineering Research
(2014)
The number and variety of experiments carried in software engineering research is growing, leading to a increasing need ... |
Presentation
A Comparison of Test Case Prioritization Criteria for Software Product Lines
(2014)
Software Product Line (SPL) testing is challenging due to the potentially huge number of derivable products. To alleviate ... |
Presentation
The Drupal Framework: a Case Study to Evaluate Variability Testing Techniques
(2014)
Variability testing techniques search for effective but manageable test suites that lead to the rapid detection of faults ... |
Presentation
Towards Multi-Objective Test Case generation for Variability-Intensive Systems
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014)
Testing variability-intensive systems is a challenge due to the potentially huge number of derivable configurations. To ... |
Article
Automated Generation of Computationally Hard Feature Models Using Evolutionary Algorithms
(Elsevier, 2014)
A feature model is a compact representation of the products of a software product line. The automated extraction of ... |
Presentation
Automated Variability Analysis and Testing of an E-Commerce Site. An Experience Report
(ACM, 2014)
In this paper, we report on our experience on the development of La Hilandera, an e-commerce site selling haberdashery products ... |
PhD Thesis
Moses: a metaheuristic optimization software ecosystem. Applications to the automated analysis of software product lines and service-based applications
(2013)
Muchas de las situaciones a las que nos enfrentamos cada día pueden expresarse como problemas de optimización. Un problema ... |
Article
Priorización de casos de prueba. Avances y retos
(Asociación de Técnicos de Informática, 2013)
|
Article
Priorización de casos de prueba: Avances y retos
(ATI: Asociación de técnicos de Informática, 2013)
La priorización de pruebas consiste en establecer un orden de ejecución para los casos de prueba que permita alcanzar un ... |
Chapter of Book
FaMa
(Springer, 2013)
|
Report |
Presentation
Achieving Replicability: Is There Life for Our Experiments After Publication?
(2013)
Metaheuristics are algorithmic schemes that ease the derivation of novel algorithms to solve optimization problems. These ... |
Chapter of Book
FaMa
(Springer, 2013)
Extracting relevant information from variability models is an important task to support decision-making in product line development and product configuration. |
Report
Automated Metamorphic Testing on the Analysis of Software Variability: Technical Report ISA-2013-TR-03
(2013)
Variability determines the ability of software applications to be configured and customized. A common need during the ... |
Presentation
Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study
(Springer, 2012)
Successful software evolves, more and more commonly, from a single system to a set of system variants tailored to meet the ... |
Presentation
Automated testing on the analysis of variability-intensive artifacts: An exploratory study with SAT Solvers
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)
The automated detection of faults on variability analysis tools is a challenging task often infeasible due to the combinatorial ... |
Presentation
BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models
(ACM, 2012)
The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and ... |
Report
FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02
(2012)
Software product lines are rapidly gaining importance across different application domains. This software production ... |
Report
ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation - TECHNICAL REPORT ISA-2012-TR-01 (v. 1.1)
(2012)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ... |
Presentation
BeTTy: Un Framework de Pruebas para el Análisis Automático de Modelos de Características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)
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
A test suite for an Agreement Document Analyser (v 1.0) : Technical Report ISA–12–TR–03
(2012)
The automated analysis operations of WS–Agreement documents proposed in recent works [1, 2, 3, 4] uses complex techniques ... |
Presentation |
Report
ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.2): Technical Report ISA-2012-TR-05
(2012)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ... |
Article
Automated Metamorphic Testing on the Analyses of Feature Models
(Elsevier, 2011)
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of ... |
Article
Mutation Testing on An Object-Oriented Framework: An Experience Report
(Elsevier, 2011)
Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the ... |
Article
Functional Testing of Feature Model Analysis Tools: a Test Suite
(Institution of Engineering and Technology, 2011)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ... |
Article
Automated analysis of feature models 20 years later: a literature review
(2010)
Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ... |
Presentation
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
(IEEE Computer Society, 2010)
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction ... |
PhD Thesis
Functional and performance testing of feature model analysis tools Extending the fama ecosystem
(2010)
La ingeniería de líneas de productos es un paradigma de desarrollo orientado a construir familias de sistemas software que ... |
Report
FaMa Test Suite v1.2: ISA Technical Report ISA-10-TR-01
(2010)
A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ... |
Presentation
Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis
(2010)
The automated analysis of variability models in general and feature models in particular is a thriving research topic. ... |
Presentation
Benchmarking on the Automated Analyses of Feature Models: a Preliminary Roadmap
(2009)
The automated analysis of Feature Models (FMs) is becoming a well-established discipline. New analysis operations, tools ... |
Presentation
Three-Dimensional Feature Diagrams Visualization
(2008)
Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ... |
Presentation
Fama Framework
(2008)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ... |
Presentation
Functional Testing of Feature Model Analysis Tools. A First Step
(2008)
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement ... |
Presentation
Open Source Tools for Software Product Line Development
(2007)
Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ... |
Presentation
FAMA: hacia el análisis automático de modelos de características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007)
|
Presentation
Towards Automated Refactoring of Feature Models Using Graph Transformations
(2007)
Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature ... |
Presentation
From Requirements to Web System Design. An Automated Approach Using Graph Transformations
(2007)
Building Web design models from requirements specification is recognised as a timeconsuming and error-prone task. in this ... |
Presentation
Fama: Tooling a Framework for the Automated Analysis of Feature Models
(2007)
The automated analysis of feature models is recognized as one of the key challenges for automated software development in ... |
Presentation
A Taxonomy of Variability in Web Service Flows
(2007)
The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ... |
Presentation
Automated Merging of Feature Models using Graph Transformations
(2007)
Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ... |
Presentation
A First Step Towards a Framework for the Automated Analysis of Feature Models
(2006)
Feature modelling is a common mechanism for variability management in the context of software product lines. After years ... |
Presentation
A Survey on the Automated Analyses of Feture Models
(2006)
Feature models are one of the most important assets in software product line engineering when capturing variability. ... |
Presentation
Explanations for Agile Feature Models
(2006)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ... |
Presentation
Using Java Csp Solvers in the Automated Analyses of Feature Models
(2005)
Feature Models are used in different stages of software development and are recognized to be an important asset in model ... |