WAVer: A Model Checking-based Tool to Verify Web Application Design-Reference-Cited by-同舟云学术

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

Published:2006-05 Issue:1 Volume:157 Page:61-76
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Castelluccia D.,Mongiello M.,Ruta M.,Totaro R.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference22 articles.

1. Model Checking;Clarke,1999

2. Building Web applications with UML;Conallen,2002

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

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A symbolic model checking approach in formal verification of distributed systems;Human-centric Computing and Information Sciences;2019-01-28

2. On the Compliance of Access Control Policies in Web Applications;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2018-12-30

3. A Reference Framework for the Automated Exploration of Web Applications;2014 19th International Conference on Engineering of Complex Computer Systems;2014-08

4. Web application testing: A systematic literature review;Journal of Systems and Software;2014-05

5. Exhaustive Exploration of Ajax Web Applications with Selective Jumping;2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops;2014-03