Modeling Web application architectures with UML
Communications of the ACM
AnWeb: a system for automatic support to web application verification
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
An Object-Oriented Web Test Model for Testing Web Applications
COMPSAC '00 24th International Computer Software and Applications Conference
Dynamic Model Extraction and Statistical Analysis of Web Applications
WSE '02 Proceedings of the Fourth International Workshop on Web Site Evolution (WSE'02)
Web Site Analysis: Structure and Evolution
ICSM '00 Proceedings of the International Conference on Software Maintenance (ICSM'00)
WebUml: reverse engineering of web applications
Proceedings of the 2004 ACM symposium on Applied computing
Verifying Interactive Web Programs
Proceedings of the 19th IEEE international conference on Automated software engineering
A 2-Layer Model for the White-Box Testing of Web Applications
WSE '04 Proceedings of the Web Site Evolution, Sixth IEEE International Workshop
Modeling and verification of adaptive navigation in web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
WAVer: A Model Checking-based Tool to Verify Web Application Design
Electronic Notes in Theoretical Computer Science (ENTCS)
ESOP'03 Proceedings of the 12th European conference on Programming
Design verification of web applications using symbolic model checking
ICWE'05 Proceedings of the 5th international conference on Web Engineering
MDA and analysis of web applications
TEAA'05 Proceedings of the 31st VLDB conference on Trends in Enterprise Application Architecture
A verification framework for access control in dynamic web applications
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Modelling Safe Interface Interactions in Web Applications
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Evaluating the Consistency between Navigation and Data Models for Web Applications
International Journal of Information System Modeling and Design
| Hi-index | 0.00 |
Models are considered an essential step in capturing system behavior and simplifying the analysis required to check or improve the quality of software. Verification and testing of websites requires effective modelling techniques that address the specific challenges of web applications (WAs). In this study we survey 21 different modelling methods used in website verification and testing. Based on our survey, a categorization, comparison and evaluation for such models and methods is provided.