Dynamic Verification of Inter-parameter Constraints in Web Applications

Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter

Research output: Unpublished contribution to conferenceUnpublished paper


Modern web applications often include third-party
functionality by sending requests to their web APIs. For
a request to succeed, it is important that the constraints
imposed on its data are satisfied; developers need to
interpret the API specification and manually verify
their programs. Luckily, there are tools that dynamically
verify single-parameter constraints. Constraints
over multiple parameters are not supported, however.
This paper presents a tool that dynamically verifies web
API requests against both single- and inter-parameter
constraints by integrating with an extension of the
well-known OpenAPI specification language. This way,
hard to catch bugs originating from unsatisfied interparameter
constraints are caught before they leave the
client or are processed by the server.
Original languageEnglish
Number of pages2
Publication statusUnpublished - 23 Oct 2017
EventInternational Workshop on Dynamic Analysis - Hyatt Regency, Vancouver, Canada
Duration: 23 Oct 201723 Oct 2017


WorkshopInternational Workshop on Dynamic Analysis
Abbreviated titleWODA


Dive into the research topics of 'Dynamic Verification of Inter-parameter Constraints in Web Applications'. Together they form a unique fingerprint.

Cite this