Automated Analysis of Inter-Parameter Dependencies in Web APIs
Web services often impose constraints that restrict the way in which two or more input parameters can be combined to form valid calls to the service, i.e. \emph{inter-parameter dependencies}. Current web API specification languages like the OpenAPI Specification (OAS) provide no support for the formal description of such dependencies, making it hardly possible to interact with the services without human intervention. We propose specifying and automatically analyzing inter-parameter dependencies in web APIs. To this end, we propose a domain-specific language to describe these dependencies, a constraint programming-aided tool supporting their automated analysis, and an OAS extension integrating our approach and easing its adoption. Together, these contributions open a new range of possibilities in areas such as source code generation and testing.
Wed 8 JulDisplayed time zone: (UTC) Coordinated Universal Time change
09:10 - 10:00 | |||
09:10 50mPoster | The Role of Egocentric Bias in Undergraduate Agile Software Development Teams ACM Student Research Competition Frederike Ramin Hasso Plattner Institute | ||
09:10 50mPoster | Evaluation of brain activity while Pair Programming ACM Student Research Competition Ananga Thapaliya Innopolis University | ||
09:10 50mPoster | Playing With Your Project Data in Scrum Retrospectives ACM Student Research Competition Christoph Matthies Hasso Plattner Institute, University of Potsdam | ||
09:10 50mPoster | An empirical study of the first contributions of developers to open source projects on GitHub ACM Student Research Competition Vikram N. Subramanian University of Waterloo | ||
09:10 50mPoster | Machine Translation Testing via Pathological Invariance ACM Student Research Competition Shashij Gupta IIT BOMBAY | ||
09:10 50mPoster | Automated Analysis of Inter-Parameter Dependencies in Web APIs ACM Student Research Competition Alberto Martin-Lopez Universidad de Sevilla |