Browsing by Author "Segura Rueda, Sergio"
Now showing items 1-20 of 78
-
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
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
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 ...
-
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 ...
-
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
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
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 ...
-
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
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 ...
-
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
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
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 ...
-
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. ...
-
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 ...
-
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
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 ...
-
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
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 ...
-
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
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 ...