Verification of Communication in Web Applications

Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter

Research output: Unpublished contribution to conferenceUnpublished paper


In the current world of web applications, none lives on an is- land. Current web applications often rely on a myriad of external web APIs and communicate with these external APIs through various HTTP requests spread throughout the application. The specification of those APIs is often described textually and programmers have to resort to manual verification of their code in order to verify if their API calls follow the specification. Next to a correct entry point, the data provided with the API call must also obey a set of constraints. Depending on the complexity of the API and its constraints this manual verification can become a difficult task. In this paper we show the need for more expressive machine-readable web APIs that allow the specification of more complex constraints. We also investigate where current verification tools for web APIs fall short and identify the challenges for the development of static verification tools that enable automatic verification of API calls.
Original languageEnglish
Number of pages8
Publication statusUnpublished - 19 Jul 2016
EventTools for JavaScript Analysis - Rome, Italy
Duration: 19 Jul 201619 Jul 2016
Conference number: 5


ConferenceTools for JavaScript Analysis
Abbreviated titleJSTools
Internet address

Fingerprint Dive into the research topics of 'Verification of Communication in Web Applications'. Together they form a unique fingerprint.

Cite this