Modelling methods for web application verification and testing: state of the art
暂无分享,去创建一个
[1] María Alpuente,et al. A Fast Algebraic Web Verification Service , 2007, RR.
[2] Richard C. Holt,et al. Architecture recovery of web applications , 2002, ICSE '02.
[3] Nashat Mansour,et al. Modeling Web Systems Using SDL , 2003, ISCIS.
[4] Mário Florido,et al. Type-Based Static and Dynamic Website Verification , 2007, Second International Conference on Internet and Web Applications and Services (ICIW'07).
[5] Matthias Felleisen,et al. Modeling Web Interactions , 2003, ESOP.
[6] Alin Deutsch,et al. Specification and verification of data-driven Web applications , 2007, J. Comput. Syst. Sci..
[7] Indrakshi Ray,et al. UML2Alloy: a challenging model transformation , 2007, MODELS'07.
[8] Olga De Troyer,et al. WSDM: A User Centered Design Method for Web Sites , 1998, Comput. Networks.
[9] Gustavo Rossi,et al. An Object Oriented Approach to Web-Based Applications Design , 1998, Theory Pract. Object Syst..
[10] Fausto Giunchiglia,et al. NUSMV: a new symbolic model checker , 2000, International Journal on Software Tools for Technology Transfer.
[11] Thomas A. Henzinger,et al. MCWEB: A Model-Checking Tool for Web Site Debugging , 2001, WWW Posters.
[12] Luca de Alfaro,et al. Model Checking the World Wide Web , 2001, CAV.
[13] Francesco M. Donini,et al. Design Verification of Web Applications Using Symbolic Model Checking , 2005, ICWE.
[14] Hiroshi Watanabe,et al. Model checking class specifications for Web applications , 2005, 12th Asia-Pacific Software Engineering Conference (APSEC'05).
[15] Carlo Bellettini,et al. WebUml: reverse engineering of web applications , 2004, SAC '04.
[16] David Chenho Kung,et al. An object-oriented Web test model for testing Web applications , 2000, Proceedings 24th Annual International Computer Software and Applications Conference. COMPSAC2000.
[17] Jonathan L. Gross,et al. Handbook of graph theory , 2007, Discrete mathematics and its applications.
[18] Jim Conallen,et al. Modeling Web application architectures with UML , 1999, CACM.
[19] María Alpuente,et al. Rule-based verification of Web sites , 2006, International Journal on Software Tools for Technology Transfer.
[20] May Haydar,et al. Formal Verification of Web Applications Modeled by Communicating Automata , 2004, FORTE.
[21] Joumana Dargham,et al. FSM Behavioral Modeling Approach for Hypermedia Web Applications: FBM-HWA Approach , 2006, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06).
[22] Massimiliano Di Penta,et al. Considering browser interaction in Web application testing , 2003, Fifth IEEE International Workshop on Web Site Evolution, 2003. Theme: Architecture. Proceedings..
[23] Paloma Díaz,et al. Modelling hypermedia and web applications: the Ariadne Development Method, , 2005, Inf. Syst..
[24] James R. Cordy,et al. A Survey of Analysis Models and Methods in Website Verification and Testing , 2007, ICWE.
[25] Nora Koch,et al. The Expressive Power of UML-based Web Engineering1 , 2002 .
[26] Nora Koch,et al. A Comparative Study of Methods for Hypermedia Development , 2001 .
[27] Paolo Tonella,et al. Dynamic model extraction and statistical analysis of Web applications , 2002, Proceedings. Fourth International Workshop on Web Site Evolution.
[28] Nora Koch,et al. Requirements Engineering for Web Applications - A Comparative Study , 2004, J. Web Eng..
[29] Alexander Knapp,et al. Model Transformations for Integrating and Validating Web Application Models , 2006, Modellierung.
[30] Peter Rob,et al. Database systems : design, implementation, and management , 2000 .
[31] Andreas Prinz,et al. SDL-2000: A Language with a Formal Semantics , 2000, Rigorous Object-Oriented Methods.
[32] Daniel Jackson,et al. Alloy: A New Technology for Software Modelling , 2002, TACAS.
[33] Esther Guerra,et al. A Transformation-Driven Approach to the Verification of Security Policies in Web Designs , 2007, ICWE.
[34] Shriram Krishnamurthi,et al. Verifying interactive Web programs , 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
[35] Michele Ruta,et al. WAVer: A Model Checking-based Tool to Verify Web Application Design , 2006, Electron. Notes Theor. Comput. Sci..
[36] A. Jefferson Offutt,et al. Bypass testing of Web applications , 2004, 15th International Symposium on Software Reliability Engineering.
[37] Alin Deutsch,et al. A verifier for interactive, data-driven web applications , 2005, SIGMOD '05.
[38] Paolo Tonella,et al. A 2-layer model for the white-box testing of Web applications , 2004, Proceedings. Sixth IEEE International Workshop on Web Site Evolution.
[39] María Alpuente,et al. A Rewriting-based Framework for Web Sites Verification , 2005, Electron. Notes Theor. Comput. Sci..
[40] Giuliano Antoniol,et al. Understanding Web applications through dynamic analysis , 2004, Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004..
[41] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[42] D. Ballis,et al. Fixing Web Sites Using Correction Strategies , 2006, 2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06).
[43] Franca Garzotto,et al. HDM—a model-based approach to hypertext application design , 1993, TOIS.
[44] Francesco M. Donini,et al. AnWeb: a system for automatic support to web application verification , 2002, SEKE '02.
[45] Stefano Ceri,et al. Web Modeling Language (WebML): a modeling language for designing Web sites , 2000, Comput. Networks.
[46] Jessica Chen,et al. Formal Models for Web Navigations with Session Control and Browser Cache , 2004, ICFEM.
[47] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[48] Behzad Bordbar,et al. MDA and Analysis of Web Applications , 2005, TEAA.
[49] Jordi Cabot,et al. Tool Support for Model Checking of Web Application Designs , 2007, ICWE.
[50] Francesco M. Donini,et al. Web applications design and maintenance using symbolic model checking , 2003, Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings..
[51] Ferdinand Wagner,et al. Modeling Software with Finite State Machines : A Practical Approach , 2006 .
[52] Giuseppe A. Di Lucca,et al. Testing Web-based applications: The state of the art and future trends , 2006, Inf. Softw. Technol..
[53] Miao Huai-kou,et al. An Approach to Modeling Hypermedia Web Applications , 2007, Sixth International Conference on Grid and Cooperative Computing (GCC 2007).
[54] Mário Florido,et al. VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content , 2006, APWeb Workshops.
[55] Jesús Torres Valderrama,et al. Methodologies to develop Web Information Systems and Comparative Analysis , 2002 .
[56] Marco Winckler,et al. StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications , 2003, DSV-IS.
[57] Huaikou Miao,et al. Auto-Generating Test Sequences for Web Applications , 2007, ICWE.
[58] Huaikou Miao,et al. Model Checking-based Verification of Web Application , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
[59] Paolo Tonella,et al. Web site analysis: structure and evolution , 2000, Proceedings 2000 International Conference on Software Maintenance.
[60] A. Jefferson Offutt,et al. Testing Web applications by modeling with FSMs , 2005, Software & Systems Modeling.
[61] Paolo Tonella,et al. Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions , 2001, TACAS.
[62] Christine Hofmeister,et al. Modeling and verification of adaptive navigation in web applications , 2006, ICWE '06.
[63] Michael Benedikt,et al. VeriWeb: Automatically Testing Dynamic Web Sites , 2002 .
[64] Leon Moonen,et al. A generic architecture for data flow analysis to support reverse engineering , 1997 .
[65] Enno Ohlebusch,et al. Term Rewriting Systems , 2002 .
[66] María Alpuente,et al. A Semi-Automatic Methodology for Repairing FaultyWeb Sites , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).
[67] Gregg Rothermel,et al. Leveraging user-session data to support Web application testing , 2005, IEEE Transactions on Software Engineering.
[68] Massimiliano Di Penta,et al. Integrating static and dynamic analysis to improve the comprehension of existing Web applications , 2005, Seventh IEEE International Symposium on Web Site Evolution.
[69] Ye Wu,et al. Modeling and Testing Web-based Applications , 2002 .