3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.SE2020★ 3 cited
Specification and Automated Analysis of Inter-Parameter Dependencies in Web APIs
Alberto Martin-Lopez, Sergio Segura, Carlos Müller +1
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…
cs.SE2018
Towards the Automation of Metamorphic Testing in Model Transformations
Javier Troya, Sergio Segura, Antonio Ruiz-Cortés
Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential mechanisms for manipulating and transforming models. Checking whether the output of…