Runtime Verification of Web Service Interface Contracts

Authors:
Sylvain Hallé;Tevfik Bultan;Graham Hughes;Muath Alkhalaf;Roger Villemaire
Affiliations:
University of California, Santa Barbara;University of California, Santa Barbara;University of California, Santa Barbara;University of California, Santa Barbara;Université du Québec à Montréal
Venue:
Computer
Year:
2010

Citing 0
Cited 6

Runtime verification for the web: a tutorial introduction to interface contracts in web applications

RV'10 Proceedings of the First international conference on Runtime verification
Components monitoring through formal specifications

Proceedings of the 17th international doctoral symposium on Components and Architecture
Behavioral specification based runtime monitors for OSGi services

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Introduction to the special issue on runtime verification

Formal Methods in System Design
Inferring dependency constraints on parameters for web services

Proceedings of the 22nd international conference on World Wide Web
Server interface descriptions for automated testing of JavaScript web applications

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering

Quantified Score

Hi-index	4.10

Visualization

Abstract

Experiments with the Amazon E-Commerce Service demonstrate the advantages of using a model-based approach for the runtime testing and monitoring of Web applications.