Formal framework for automated analysis and verification of web-based applications

Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004

Volumn , Issue , 2004, Pages 410-413

  Haydar, May ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE AUTOMATA MODEL; HTML DOCUMENTS; WEB-BASED APPLICATIONS;

AUTOMATION; CODES (SYMBOLS); HTML; HTTP; SOFTWARE ENGINEERING; WEB BROWSERS;

WORLD WIDE WEB;

EID: 15844382812     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2004.1342778     Document Type: Conference Paper

References (21)

1. A. Luotonen, Web Proxy Servers, Prentice Hall, 1998.
2. J. Conallen, "Modeling Web Application Architectures, with UML", In Proc. of Communications of the ACM, October 1999, vol. 2, No. 10.
3. M.C.F. de Oliveira, P.C. Masiero, "A Statechart-Based Model for Hypermedia Applications", ACM Transactions on Information Systems, Vol. 19, No. 1, 28-52, January 2001.
4. F.B. Paulo, P.C. Masiero, M.C.F. de Olivieira, "Hypercharts: Extended Statecharts to Support Hypermedia Specification", IEEE Transactions on Software Engineering, Vol. 25, No. 1, Jan. 1999.
5. th ACM Conference on Hypertext, United Kingdom, June 1998.
6. th IEEE Annual International Computer Software and Applications Conference, Taiwan, October 2000.
7. "Ethereal, Network Protocol Analyzer", http://www.ethereal.com/ .
8. E. M. Clarke, O. Grumberg, D. A. Peled, Model Checking, MIT Press, 2000.
9. G.J. Holzmann, The Spin Model Checker, Primer and Reference Manual, Addison-Wesley, 2003.
10. "aSpin Model Checker", http://polaris.lcc.uma.es/~gisum/fmse/ tools/mainframe.html.
11. th International Conference on Computer Aided Verification, Paris, France, July 2001.
12. L. de Alfaro, T.A. Henziger, F.Y.C. Mang, "MCWEB: A Model-Checking Tool for Web Site Debugging", Poster, 10th WWW Conference, Hong Kong, 2001.
13. P.D. Stotts, C.R. Cabarrus, "Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking", ACM Transactions on Information Systems, Vol.16, No. 1, Jan. 1998, 1-30.
14. th WWW Conference, Hawai, U.S.A., May 2002.
15. th International World Wide Web Conference, Hawai, U.S.A., May 2002.
16. F. Ricca, P. Tonella, "Web Site Analysis: Structure and Evolution", In Proc. of International Conference on Software Maintenance (ICSM'2000), pp. 76-86, San Jose, California, USA, October 11-14, 2000.
17. F. Ricca and P. Tonella, "Analysis and Testing of Web Applications", In Proc. of the International Conference on Software Engineering (ICSE'2001), pp. 25-34, Toronto, Ontario, Canada, May 12-19, 2001.
18. P. Tonella and F. Ricca, "Dynamic Model Extraction and Statistical Analysis of Web Applications", In Proc. of International Workshop on Web Site Evolution (WSE 2002), pp. 43-52, Montreal, Canada, October 2, 2002.
19. Y. Wu, J. Offutt, "Modeling and Testing Web-based Applications", GMU ISE Technical ISE-TR-02-08, November 2002.
20. "Web Site Test Tools and Site Management Tools", http.//www.softwareqatest.com/qatweb1.html.
21. M. Haydar, A. Petrenko, H. Sahraoui, "Formal Verification of Web Applications Modeled by Communicating Automata", In Proc. of 24th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), Madrid, Spain, September 2004.