WAVer: A Model Checking-based Tool to Verify Web Application Design

Clarke, 1999 Conallen, 2002 L. de Alfaro. Model checking the World Wide Web. In Proceedings of the 13th International Conference on Computer Aided Verification (CAV'01), pages 77–85, 2001 G. Di Lucca and M. Di Penta. An approach to identify duplicated web pages. In 26th Annual International Computer Software and Applications Conference, pages 481 – 486, Oxford, England, 2002 M. Di Penta, G. Antoniol, G. Casazza, and E. Merlo. Modeling web maintenance centers through queue models. In Fifth European Conference on Software Maintenance and Reengineering, pages 131 – 139, Lisbon, Portugal, 2001 Di Sciascio, 2002, Anweb: a system for automatic support to web application verification, 609 E. Di Sciascio, F.M. Donini, M. Mongiello, and G. Piscitelli. Web applications design and maintenance using symbolic model checking. In Proc. of CSMR '03, pages 63–72, Benevento, Italy, March 26–28 2003. IEEE Di Sciascio, 2005, Design verification of web applications using symbolic model checking, 69 Fernandez, 1998, Catching the boat with strudel: experiences with a web-site management system, 414 Fraternali, 1999, Tools and approaches for developing data-intensive web applications: a survey, ACM Computing Survey, 31, 227, 10.1145/331499.331502 Garzotto, 1993, Hdm - a model-based approach to hypertext application design, ACM TOIS, 11, 1, 10.1145/151480.151483 P. Godefroid, M. Benedikt, and J. Freire. Veriweb: Automatically testing dynamic web sites. In 11th International World Wide Web Conference (WWW '02), Honolulu, May 2002 Huth, 1999 Isakowitz, 1995, Rmm : a methodology for structured hypermedia design, Comm. ACM, 38, 34, 10.1145/208344.208346 Katoen, 1999, Concepts algorithms and tools for model checking N. Koch and A. Kraus. The expressive power of uml-based web engineering. In Proc. of IWOOST '02, 2002 McMillan P. Atzeni, G. Mecca, and P. Meriado. Design and maintenance of data-intensive web sites. In Proc. of EDBT-98, pages 436–450, 1998 Ricca, 2002, Testing processes of web applications, Annals of software engineering, 14, 93, 10.1023/A:1020549507418 Rossi, 2002, Object-oriented design structures in web application models, Annals of software engineering, 13, 97, 10.1023/A:1016593309733 Ceri, 2002, Conceptual modeling of data-intensive web application, IEEE Internet Computing, 6, 20, 10.1109/MIC.2002.1020321 Stotts, 1998, Hyperdocuments as automata: verification of trace-based browsing properties by model checking, TOIS, 16, 1, 10.1145/267954.267955