Buscar
Mostrando ítems 1-6 de 6
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
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
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
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 become an extremely popular testing technique as evidenced by the vast literature, numerous tools, ...
Artículo
Model Transformation Testing and Debugging: A Survey
(ACM Digital Library, 2022-11-21)
Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness ...