Customizable pattern-oriented verifiers for web applications

Authors:
Nhor Sok Lang;Takao Shimomura;Quan Liang Chen;Kenji Ikeda
Affiliations:
University of Tokushima, Course of Info Sci. & Intel. Syst., Tokushima, Japan;University of Tokushima, Dept. of Info Sci. & Intel. Syst., Tokushima, Japan;University of Tokushima, Course of Info Sci. & Intel. Syst., Tokushima, Japan;University of Tokushima, Dept. of Info Sci. & Intel. Syst., Tokushima, Japan
Venue:
WSEAS Transactions on Information Science and Applications
Year:
2007

Citing 11
Cited 0

AnWeb: a system for automatic support to web application verification

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Web-Application Development Using the Model/View/Controller Design Pattern

EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Extending Java for high-level Web service construction

ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying Interactive Web Programs

Proceedings of the 19th IEEE international conference on Automated software engineering
Integrated laboratory network management system

AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Apty: easy enjoyable effective e-learning

AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Customizable verifiers for web applications and their implementation

CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Requirements-Driven Verification of Web Services

Electronic Notes in Theoretical Computer Science (ENTCS)
WAVer: A Model Checking-based Tool to Verify Web Application Design

Electronic Notes in Theoretical Computer Science (ENTCS)
Web Verification: Perspective and Challenges

Electronic Notes in Theoretical Computer Science (ENTCS)
Visual design and programming for Web applications

Journal of Visual Languages and Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a method that enables programmers to easily define and customize verification items for Web applications. In this method, we first specify verification conditions using regular expressions to indicate a part of code of interest, and if it is against a verification item, this method provides a mechanism to automatically correct that code using another expression. In addition, to make it possible to easily define complicated verification items that check a sequence of the pieces of program code that appear at multiple locations of the programs, the method provides several program interfaces with which we can check the part of the program code of interest in more detail.