Simple on-the-fly automatic verification of linear temporal logic
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
Runtime Monitoring of Message-Based Workflows with Data
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Runtime monitoring of web service choreographies using streaming XML
Proceedings of the 2009 ACM symposium on Applied Computing
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Specifying and Validating Data-Aware Temporal Web Service Properties
IEEE Transactions on Software Engineering
Rule Systems for Runtime Verification: A Short Tutorial
Runtime Verification
Generating Interface Grammars from WSDL for Automated Verification of Web Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the IEEE/ACM international conference on Automated software engineering
Cooperative Runtime Monitoring of LTL Interface Contracts
EDOC '10 Proceedings of the 2010 14th IEEE International Enterprise Distributed Object Computing Conference
Lightpaths on demand: a Web-services-based management system
IEEE Communications Magazine
Runtime verification of multi-agent systems interaction quality
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
Hi-index | 0.00 |
This tutorial presents an introduction to the monitoring of web applications. These applications run in a user's web browser and exchange requests and responses with a server in the background to update their display. A demo application, called the Beep Store, illustrates why complex properties on this exchange must be verified at runtime. These properties can be formalized using an extension of Linear Temporal Logic called LTL-FO+. The tutorial concludes with the presentation of BeepBeep, a lightweight runtime monitor for web applications.