Perfil del autor: Segura Rueda, Sergio
Datos institucionales
Nombre | Segura Rueda, Sergio |
Departamento | Lenguajes y Sistemas Informáticos |
Área de conocimiento | Lenguajes y Sistemas Informáticos |
Categoría profesional | Catedrático de Universidad |
Correo electrónico | Solicitar |
Estadísticas
-
Nº publicaciones
117
-
Nº visitas
14809
-
Nº descargas
27328
Publicaciones |
---|
Ponencia
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 ... |
Artículo
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 ... |
Tesis Doctoral
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Trabajo Fin de Máster
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Capítulo de Libro
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Capítulo de Libro
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 ... |
Ponencia
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. ... |
Ponencia
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. ... |
Artículo
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 ... |
Artículo
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, ... |
Ponencia
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 ... |
Trabajo Fin de Grado
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 ... |
Artículo
Metamorphic Testing: Testing the Untestable
(IEEE Computer Society, 2020)
|
Artículo
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Ponencia
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. ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Informe
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 ... |
Ponencia
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 ... |
Tesis Doctoral
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Trabajo Fin de Grado
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 ... |
Ponencia
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)
|
Artículo
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. ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Informe
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Artículo
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 ... |
Ponencia
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 ... |
Tesis Doctoral
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 ... |
Artículo
Priorización de casos de prueba. Avances y retos
(Asociación de Técnicos de Informática, 2013)
|
Artículo
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 ... |
Capítulo de Libro
FaMa
(Springer, 2013)
|
Informe |
Ponencia
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 ... |
Capítulo de Libro
FaMa
(Springer, 2013)
Extracting relevant information from variability models is an important task to support decision-making in product line development and product configuration. |
Informe
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Informe
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 ... |
Informe
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 ... |
Ponencia
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 ... |
Informe
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 ... |
Ponencia |
Informe
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Artículo
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 ... |
Artículo
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. ... |
Ponencia
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 ... |
Tesis Doctoral
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 ... |
Informe
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 ... |
Ponencia
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. ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
Fama Framework
(2008)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ... |
Ponencia
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 ... |
Ponencia
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: ... |
Ponencia
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)
|
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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 ... |
Ponencia
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. ... |
Ponencia
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 ... |
Ponencia
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 ... |