Buscar
Mostrando ítems 1-10 de 15
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 test. Most of the research on this field focuses on making testing affordable by selecting a ...
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 combined to form valid calls to the service. Unfortunately, current specification languages for web ...
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 for manipulating and transforming models. The correctness of software built using MDE techniques ...
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 API specification. However, this process is only partially automated since testers are usually ...
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 information from FMs is a complex task that involves numerous analysis operations, techniques and tools. ...
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 years due to their potential impact in safety-critical and resource-constrained applications. Much ...
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, taught in the second course of a Software Engineering degree. We compare the application of the ...
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 to cater to their similar and different requirements. Nowadays it is a common practice to offer a ...
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 often adhere to the REST architectural style, being referred to as RESTful Web APIs. RESTful Web ...
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 for manipulating and transforming models. Checking whether the output of a model transformation is ...