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

Electronic Notes in Theoretical Computer Science

Volumn 157, Issue 1 SPEC. ISS., 2006, Pages 61-76

  Castelluccia, D ^a   Mongiello, M ^a   Ruta, M ^a   Totaro, R ^a  

^a POLITECNICO DI BARI   (Italy)

Author keywords

model checking; verification; web application

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE; ERROR ANALYSIS; FORMAL LANGUAGES; MATHEMATICAL MODELS; RELIABILITY;

MODEL CHECKING; VERIFICATION; WEB APPLICATION;

WORLD WIDE WEB;

EID: 33646350744     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.01.023     Document Type: Article

References (22)

1. Clarke E.M., Grumberg O.M., and Peled D.A. Model Checking (1999), The MIT Press
2. Conallen J. Building Web applications with UML (2002), Addison Wesley Publ. Co., Reading, Massachussetts
3. 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
4. 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
5. 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
6. Di Sciascio E., Donini F.M., Mongiello M., and Piscitelli G. Anweb: a system for automatic support to web application verification. Proc. of SEKE '02 (July 2002), ACM, New York 609-616
7. 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
8. Di Sciascio E., Donini F.M., Mongiello M., Totaro R., and Castelluccia D. Design verification of web applications using symbolic model checking. ICWE. Lecture Notes in Computer Science (2005), Springer 69-74
9. Fernandez M.F., Florescu D., Kang J., Levy A.Y., and Suciu D. Catching the boat with strudel: experiences with a web-site management system. ACM - SIGMOD (1998) 414-425
10. Fraternali P. Tools and approaches for developing data-intensive web applications: a survey. ACM Computing Survey 31 3 (1999) 227-263
11. Garzotto F., Paolini P., and Schwabe D. Hdm - a model-based approach to hypertext application design. ACM TOIS 11 1 (1993) 1-26
12. 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
13. Huth M.R.A., and Ryan M.D. Logic in Computer Science (1999), Cambridge University Press
14. Isakowitz T., Stohr E., and Balasubramanian P. Rmm : a methodology for structured hypermedia design. Comm. ACM 38 8 (1995) 34-44
15. Katoen J.P. Concepts algorithms and tools for model checking. volume 32-1 of Lecture Notes of the Course "Mechanised Validation of Parallel Systems" (1999), Friedrich-Alexander-Universitat Erlangen-Nurnberg
16. N. Koch and A. Kraus. The expressive power of uml-based web engineering. In Proc. of IWOOST '02, 2002
17. McMillan K.L. The SMV system (February 1992). http://www.cs.cmu.edu/modelcheck/smv/smvmanual.r2.2.ps
18. P. Atzeni, G. Mecca, and P. Meriado. Design and maintenance of data-intensive web sites. In Proc. of EDBT-98, pages 436-450, 1998
19. Ricca F., and Tonella P. Testing processes of web applications. Annals of software engineering 14 1 (2002) 93-114
20. Rossi G., and Schwabe D. Object-oriented design structures in web application models. Annals of software engineering 13 1 (2002) 97-110
21. Ceri S., Fraternali P., and Matera M. Conceptual modeling of data-intensive web application. IEEE Internet Computing 6 4 (2002) 20-30
22. Stotts P.D., and Furuta J.C. Hyperdocuments as automata: verification of trace-based browsing properties by model checking. TOIS 16 1 (1998) 1-30