WAVer: A Model Checking-based Tool to Verify Web Application Design
暂无分享,去创建一个
[1] Tomás Isakowitz,et al. RMM: a methodology for structured hypermedia design , 1995, CACM.
[2] Stephan Merz,et al. Model Checking , 2000 .
[3] Michael Benedikt,et al. VeriWeb: Automatically Testing Dynamic Web Sites , 2002 .
[4] Luca de Alfaro,et al. Model Checking the World Wide Web , 2001, CAV.
[5] Franca Garzotto,et al. HDM—a model-based approach to hypertext application design , 1993, TOIS.
[6] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.
[7] Giuliano Antoniol,et al. Modeling Web Maintenance Centers through Queue Models , 2001, CSMR.
[8] Massimiliano Di Penta,et al. An approach to identify duplicated web pages , 2002, Proceedings 26th Annual International Computer Software and Applications.
[9] Jim Conallen,et al. Building Web applications with UML , 1999 .
[10] Joost P. Katoen,et al. Concepts, Algorithms, and Tools for Model Checking , 1999 .
[11] Nora Koch,et al. The Expressive Power of UML-based Web Engineering1 , 2002 .
[12] Paolo Merialdo,et al. Design and Maintenance of Data-Intensive Web Sites , 1998, EDBT.
[13] Piero Fraternali,et al. Tools and approaches for developing data-intensive Web applications: a survey , 1999, CSUR.
[14] Gustavo Rossi,et al. Object-Oriented Design Structures in Web Application Models , 2002, Ann. Softw. Eng..
[15] Dan Suciu,et al. Catching the boat with Strudel: experiences with a Web-site management system , 1998, SIGMOD '98.
[16] Francesco M. Donini,et al. AnWeb: a system for automatic support to web application verification , 2002, SEKE '02.
[17] P. David Stotts,et al. Hyperdocuments as automata: verification of trace-based browsing properties by model checking , 1998, TOIS.
[18] Francesco M. Donini,et al. Web applications design and maintenance using symbolic model checking , 2003, Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings..
[19] Stefano Ceri,et al. Conceptual Modeling of Data-Intensive Web Applications , 2002, IEEE Internet Comput..
[20] Kenneth L. McMillan,et al. The SMV System , 1993 .
[21] Paolo Tonella,et al. Testing Processes of Web Applications , 2002, Ann. Softw. Eng..
[22] Yuri Gurevich,et al. Logic in Computer Science , 1993, Current Trends in Theoretical Computer Science.
[23] Francesco M. Donini,et al. Design Verification of Web Applications Using Symbolic Model Checking , 2005, ICWE.