Buscar
Mostrando ítems 1-8 de 8
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 the performance of a program is acceptable or not because of a bug. Metamorphic testing enables ...
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
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
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 ...
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 different executions of the program under test, called metamorphic relations. In a recent survey, we ...
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 ...
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 sessions (henceforth lab sessions) of an undergraduate computer science course. Background: Hands-on ...