- idUS
- Listar por autor
Listar por autor "Segura Rueda, Sergio"
Mostrando ítems 1-20 de 117
-
Ponencia
A Catalogue of Inter-Parameter Dependencies in RESTful Web APIs
Martín López, Alberto; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Springer, 2019)Web services often impose dependency constraints that re strict the way in which two or more input parameters can be ...
-
Ponencia
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)Software Product Line (SPL) testing is challenging due to the potentially huge number of derivable products. To alleviate ...
-
Ponencia
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)Feature modelling is a common mechanism for variability management in the context of software product lines. After years ...
-
Artículo
A Survey on Metamorphic Testing
Segura Rueda, Sergio; Fraser, Gordon; Sánchez Jerez, Ana Belén; Ruiz Cortés, Antonio (2016-02-29)A test oracle determines whether a test execution reveals a fault, often by comparing the observed program output to the ...
-
Ponencia
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)Feature models are one of the most important assets in software product line engineering when capturing variability. ...
-
Ponencia
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)The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ...
-
Ponencia
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)Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different ...
-
Informe
A test suite for an Agreement Document Analyser (v 1.0) : Technical Report ISA–12–TR–03
Müller Cejás, Carlos; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2012)The automated analysis operations of WS–Agreement documents proposed in recent works [1, 2, 3, 4] uses complex techniques ...
-
Ponencia
Achieving Replicability: Is There Life for Our Experiments After Publication?
Parejo Maestre, José Antonio; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2013)Metaheuristics are algorithmic schemes that ease the derivation of novel algorithms to solve optimization problems. These ...
-
Ponencia
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)Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for ...
-
Artículo
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)Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and ...
-
Ponencia
An Extended Abstract of "Metamorphic Testing: Testing the Untestable"
Segura Rueda, Sergio; Towey, Dave; Zhou, Zhi Quan; Chen, T. Y. (IEEE Computer Society, 2019)This document is an extended abstract of an IEEE Software paper, “Metamorphic Testing: Testing the Untestable,” presented ...
-
Artículo
ARTE: Automated Generation of Realistic Test Inputs for Web APIs
Alonso Valenzuela, Juan Carlos; Martín López, Alberto; Segura Rueda, Sergio; García Rodríguez, José María; Ruiz Cortés, Antonio (IEEE Computer Society, 2022)Automated test case generation for web APIs is a thriving research topic, where test cases are frequently derived from the ...
-
Artículo
Assessment of C++ object-oriented mutation operators: A selective mutation approach
Delgado Pérez, Pedro; Segura Rueda, Sergio; Medina Bulo, Inmaculada (Wiley, 2017)Mutation testing is an effective but costly testing technique. Several studies have observed that some mutants can be ...
-
Artículo
Automated analysis of feature models 20 years later: a literature review
Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2010)Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ...
-
Ponencia
Automated Code Generation for Inter-parameter Dependencies in REST APIs
Barakat, Saman; Barba Roque, Enrique; Sánchez Jerez, Ana Belén; Segura Rueda, Sergio (Sistedes, 2022)The generation of code templates from REST API specifications is a common practice in industry. However, existing tools ...
-
Artículo
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)A feature model is a compact representation of the products of a software product line. The automated extraction of ...
-
Ponencia
Automated Generation of Metamorphic Relations for Query-Based Systems
Segura Rueda, Sergio; Alonso, Juan C.; Martín López, Alberto; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2022)Searching and displaying data based on user queries is a pervasive feature of most software applications such as information ...
-
Artículo
Automated inference of likely metamorphic relations for model transformations
Troya Castilla, Javier; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Elsevier, 2018)Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms ...
-
Ponencia
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)Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ...