Design verification of web applications using symbolic model checking

Authors:
Eugenio Di Sciascio;Francesco M. Donini;Marina Mongiello;Rodolfo Totaro;Daniela Castelluccia
Affiliations:
Dipartimento di Elettrotecnica ed Elettronica, Politecnico di Bari, Italy;Università della Tuscia Viterbo, Italy;Dipartimento di Elettrotecnica ed Elettronica, Politecnico di Bari, Italy;Dipartimento di Elettrotecnica ed Elettronica, Politecnico di Bari, Italy;Dipartimento di Elettrotecnica ed Elettronica, Politecnico di Bari, Italy
Venue:
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Year:
2005

Citing 13
Cited 7

HDM—a model-based approach to hypertext application design

ACM Transactions on Information Systems (TOIS)
RMM: a methodology for structured hypermedia design

Communications of the ACM
Hyperdocuments as automata: verification of trace-based browsing properties by model checking

ACM Transactions on Information Systems (TOIS)
Catching the boat with Strudel: experiences with a Web-site management system

SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Tools and approaches for developing data-intensive Web applications: a survey

ACM Computing Surveys (CSUR)
Model checking

Model checking
Building Web Applications with Uml

Building Web Applications with Uml
AnWeb: a system for automatic support to web application verification

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Testing Processes of Web Applications

Annals of Software Engineering
Design and Maintenance of Data-Intensive Web Sites

EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
An Approach to Identify Duplicated Web Pages

COMPSAC '02 Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment
Modeling Web Maintenance Centers Through Queue Models

CSMR '01 Proceedings of the Fifth European Conference on Software Maintenance and Reengineering
Web Applications Design and Maintenance Using Symbolic Model Checking

CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering

Original papers: Model-checking for adventure videogames

Information and Software Technology
WAVer: A Model Checking-based Tool to Verify Web Application Design

Electronic Notes in Theoretical Computer Science (ENTCS)
A survey of analysis models and methods in website verification and testing

ICWE'07 Proceedings of the 7th international conference on Web engineering
Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

Proceedings of the IEEE/ACM international conference on Automated software engineering
Verifying the consistency of web-based technical documentations

Journal of Symbolic Computation
Bounded verification of Ruby on Rails data models

Proceedings of the 2011 International Symposium on Software Testing and Analysis
A formal approach for run-time verification of web applications using scope-extended LTL

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Fast and reliable development of Web Applications (WA) calls for methods that address systematic design, and tools that cover all the aspects of the design process and complement the current implementation technologies. To ensure the reliability of WA it is important that they be validated and verified at early design phase. We focus on black-box, automated verification of the UML design of a WA using Model Checking techniques.