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
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
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 ...