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 | Profesor Titular de Universidad |
Request | |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Statistics
-
No. publications
109
-
No. visits
8976
-
No. downloads
15597
Publications |
---|
PhD Thesis
![]() Automated Test Case Generation for RESTful Web APIs: Towards a Testing as a Service Model
(2022-07-14)
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-01-01)
Automated test case generation for web APIs is a thriving research topic, where test cases are frequently derived from the ... |
Article
![]() Performance-Driven Metamorphic Testing of Cyber-Physical Systems
(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
![]() Automated Generation of Metamorphic Relations for Query-Based Systems
(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
![]() Mutation testing in the wild: findings from GitHub
(Springer, 2022-01-01)
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-01-01)
artifi-cial intelligence (AI), methods have been proposed and evaluated in academia to assess the reliability of these ... |
Presentation
![]() Deep Learning-Based Prediction of Test Input Validity for RESTful APIs
(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
![]() Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs
(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
![]() Inter-Parameter Dependencies in Real-World Web APIs: The IDEA Dataset
(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
![]() 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-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
![]() Evaluating Testing Techniques in Highly-Configurable Systems: The Drupal Dataset
(Auerbach Publications, 2021-01-01)
Context: Software applications exposing a high ability to be extended, changed or configured are usually referred to as ... |
Article
![]() Performance mutation testing
(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
![]() Black-Box and White-Box Test Case Generation for RESTful APIs: Enemies or Allies?
(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
![]() 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-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
![]() RESTest: automated black-box testing of RESTful web APIs
(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
![]() Detección de Fake News mediante técnicas de Deep Learning
(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
![]() Many-Objective Test Suite Generation for Software Product Lines
(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
![]() Flipping Laboratory Sessions: An Experience in Computer Science
(IEEE Computer Society, 2020-01-01)
This paper reports our experience in flipping a second- year undergraduate course on software architecture and integration, ... |
Article
![]() TANDEM: A Taxonomy and a Dataset of Real-World Performance Bugs
(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
![]() Flipping Laboratory Sessions in a Computer Science Course: An Experience Report
(IEEE Computer Society, 2020-01-01)
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-01-01)
Automated testing approaches for RESTful web APIs typi cally follow a black-box strategy, where test cases are derived ... |
Article
![]() Metamorphic Testing: Testing the Untestable
(IEEE Computer Society, 2020-01-01)
|
Article
![]() Metamorphic Testing: Testing the Untestable
(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
![]() QoS-aware Metamorphic Testing: An Elevation Case Study
(IEEE Computer Society, 2020-01-01)
Elevators are among the oldest and most widespread transportation systems, yet their complexity increases rapidly to satisfy ... |
Presentation
![]() Metamorphic Relation Patterns for Query-Based Systems
(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
![]() 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-01-01)
Las pruebas de interfaz de usuario son una técnica muy popular gracias a su capacidad para validar el comportamiento de ... |
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-01-01)
En este artículo describimos nuestra experiencia al aplicar la metodología de clase invertida en la asigna tura Arquitectura ... |
Presentation
![]() A Catalogue of Inter-Parameter Dependencies in RESTful Web APIs
(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
![]() 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-01-01)
Web APIs following the REST architectural style (so-called RESTful Web APIs) have become the de-facto standard for ... |
Presentation
![]() Test coverage criteria for RESTful web APIs
(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
![]() An Extended Abstract of "Metamorphic Testing: Testing the Untestable"
(IEEE Computer Society, 2019-01-01)
This document is an extended abstract of an IEEE Software paper, “Metamorphic Testing: Testing the Untestable,” presented ... |
Presentation
![]() Study of Trivial Compiler Equivalence on C++ Object-Oriented Mutation Operators
(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
![]() Performance Metamorphic Testing: A Proof of Concept
(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
![]() Automated inference of likely metamorphic relations for model transformations
(Elsevier, 2018-01-01)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms ... |
Article
![]() Spectrum-Based Fault Localization in Model Transformations
(ACM, 2018-01-01)
Model transformations play a cornerstone role in Model-Driven Engineering (MDE), as they provide the essential mechanisms ... |
Article
![]() Performance mutation testing: hypothesis and open questions
(Elsevier, 2018-01-01)
Performance bugs are common, costly, and elusive. Performance tests aim to detect performance bugs by running the program ... |
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-01-01)
Los defectos de rendimiento del software pueden causar una importante degradación en la experiencia de usuario y dar lugar ... |
Presentation
![]() Search-based mutation testing to improve performance tests
(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
![]() Metamorphic Testing 20 Years Later: A Hands-on Introduction
(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
![]() Spectrum-based fault localization in software product lines
(Elsevier, 2018-01-01)
Context: Software Product Line (SPL) testing is challenging mainly due to the potentially huge number of products under ... |
Article
![]() Variability testing in the wild: the Drupal case study
(Springer, 2017-01-01)
Variability testing techniques search for effective and manageable test suites that lead to the rapid detection of faults ... |
Article
![]() Evolutionary composition of QoS-aware web services: a many-objective perspective
(Elsevier, 2017-01-01)
Web service based applications often invoke services provided by third-parties in their workflow. The Quality of Service ... |
Presentation
![]() Performance Metamorphic Testing: Motivation and Challenges
(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
![]() A Template–Based Approach to Describing Metamorphic Relations
(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
![]() An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
(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
![]() Metamorphic Testing of RESTful Web APIs
(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
![]() Domain-Specific Languages and Model Transformations for Soft ware Product Line
(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
![]() Metamorphic Relation Template v1.0 : Technical Report ISA-17-TR-01
(2017-01-01)
Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among ... |
Presentation
![]() SmarTest: A Test Case Prioritization Tool for Drupal
(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
![]() Assessment of C++ object-oriented mutation operators: A selective mutation approach
(Wiley, 2017-01-01)
Mutation testing is an effective but costly testing technique. Several studies have observed that some mutants can be ... |
Presentation
![]() GiGAn: Evolutionary Mutation Testing for C++ Object-Oriented Systems
(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
![]() Test case prioritization in highly-configurable systems
(2016-05-23)
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-02-29)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the ... |
Article
![]() Multi-objective test case prioritization in highly configurable systems: A case study
(Elsevier, 2016-01-01)
Test case prioritization schedules test cases for execution in an order that attempts to accelerate the detection of faults. ... |
Article
![]() SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization
(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
![]() Towards the Automation of Metamorphic Testing in Model Transformations
(Universidad de Salamanca, 2016-01-01)
Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating ... |
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-01-01)
|
Final Degree Project
![]() Gitbug: Predicción de errores en repositorios de Git
(2016-01-01)
Realizar pruebas software de manera correcta es un ejercicio sumamente importante ya que depurar, testear, y las actividades ... |
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-01-01)
Organizaciones como Netflix, Google o Amazon hacen uso de arquitecturas basadas en micro-servicios, lo que ha disparado ... |
Report
![]() Metamorphic Testing: A Literature Review - Version 1.3 (Technical Report ISA-16-TR-02)
(2016-01-01)
A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to ... |
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-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
![]() Automated metamorphic testing of variability analysis tools
(Wiley, 2015-01-01)
Variability determines the capability of software applications to be configured and customized. A common need during the ... |
Article
![]() An assessment of search-based techniques for reverse engineering feature models
(Elsevier, 2015-01-01)
Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and ... |
Article
![]() FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015-01-01)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ... |
Presentation
![]() Automated Variability Analysis and Testing of an E-Commerce Site. An Experience Report
(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
![]() A Comparison of Test Case Prioritization Criteria for Software Product Lines
(2014-01-01)
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-01-01)
Variability testing techniques search for effective but manageable test suites that lead to the rapid detection of faults ... |
Article
![]() Qos-Aware Web Services Composition Using Grasp with Path Relinking
(Elsevier, 2014-01-01)
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-01-01)
The number and variety of experiments carried in software engineering research is growing, leading to a increasing need ... |
Article
![]() Automated Generation of Computationally Hard Feature Models Using Evolutionary Algorithms
(Elsevier, 2014-01-01)
A feature model is a compact representation of the products of a software product line. The automated extraction of ... |
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-01-01)
Testing variability-intensive systems is a challenge due to the potentially huge number of derivable configurations. To ... |
PhD Thesis
![]() ![]() Moses: a metaheuristic optimization software ecosystem. Applications to the automated analysis of software product lines and service-based applications
(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
![]() Priorización de casos de prueba. Avances y retos
(Asociación de Técnicos de Informática, 2013-01-01)
|
Report
![]() Automated Metamorphic Testing on the Analysis of Software Variability: Technical Report ISA-2013-TR-03
(2013-01-01)
Variability determines the ability of software applications to be configured and customized. A common need during the ... |
Presentation
![]() Achieving Replicability: Is There Life for Our Experiments After Publication?
(2013-01-01)
Metaheuristics are algorithmic schemes that ease the derivation of novel algorithms to solve optimization problems. These ... |
Report |
Chapter of Book
![]() FaMa
(Springer, 2013-01-01)
|
Presentation
![]() BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models
(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
![]() Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study
(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
![]() ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.2): Technical Report ISA-2012-TR-05
(2012-01-01)
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-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
![]() A test suite for an Agreement Document Analyser (v 1.0) : Technical Report ISA–12–TR–03
(2012-01-01)
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 - TECHNICAL REPORT ISA-2012-TR-01 (v. 1.1)
(2012-01-01)
A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ... |
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-01-01)
The automated detection of faults on variability analysis tools is a challenging task often infeasible due to the combinatorial ... |
Report
![]() FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02
(2012-01-01)
Software product lines are rapidly gaining importance across different application domains. This software production ... |
Article
![]() Mutation Testing on An Object-Oriented Framework: An Experience Report
(Elsevier, 2011-01-01)
Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the ... |
Article
![]() Automated Metamorphic Testing on the Analyses of Feature Models
(Elsevier, 2011-01-01)
Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of ... |
Article
![]() Functional Testing of Feature Model Analysis Tools: a Test Suite
(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
![]() Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis
(2010-01-01)
The automated analysis of variability models in general and feature models in particular is a thriving research topic. ... |
Presentation
![]() Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
(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
![]() FaMa Test Suite v1.2: ISA Technical Report ISA-10-TR-01
(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
![]() Automated analysis of feature models 20 years later: a literature review
(2010-01-01)
Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ... |
PhD Thesis
![]() ![]() Functional and performance testing of feature model analysis tools Extending the fama ecosystem
(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
![]() Benchmarking on the Automated Analyses of Feature Models: a Preliminary Roadmap
(2009-01-01)
The automated analysis of Feature Models (FMs) is becoming a well-established discipline. New analysis operations, tools ... |
Presentation
![]() Three-Dimensional Feature Diagrams Visualization
(2008-01-01)
Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ... |
Presentation
![]() Functional Testing of Feature Model Analysis Tools. A First Step
(2008-01-01)
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement ... |
Presentation
![]() Fama Framework
(2008-01-01)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ... |
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-01-01)
|
Presentation
![]() Automated Merging of Feature Models using Graph Transformations
(2007-01-01)
Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ... |
Presentation
![]() From Requirements to Web System Design. An Automated Approach Using Graph Transformations
(2007-01-01)
Building Web design models from requirements specification is recognised as a timeconsuming and error-prone task. in this ... |
Presentation
![]() Towards Automated Refactoring of Feature Models Using Graph Transformations
(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
![]() Fama: Tooling a Framework for the Automated Analysis of Feature Models
(2007-01-01)
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-01-01)
The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ... |
Presentation
![]() Open Source Tools for Software Product Line Development
(2007-01-01)
Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ... |
Presentation
![]() A First Step Towards a Framework for the Automated Analysis of Feature Models
(2006-01-01)
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-01-01)
Feature models are one of the most important assets in software product line engineering when capturing variability. ... |
Presentation
![]() Explanations for Agile Feature Models
(2006-01-01)
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-01-01)
Feature Models are used in different stages of software development and are recognized to be an important asset in model ... |