MCWEB: A model-checking tool for web-site debugging
De Alfaro L, Henzinger TA, Mang F. 2001. MCWEB: A model-checking tool for web-site debugging. Proceedings of the 10th international conference on World Wide Web. WWW: World Wide Web Conference, 86–87.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
| English
Author
De Alfaro, Luca;
Henzinger, Thomas AISTA 
;
Mang, Freddy
;
Mang, FreddyAbstract
We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.
Publishing Year
Date Published
2001-05-01
Proceedings Title
Proceedings of the 10th international conference on World Wide Web
Publisher
ACM
Page
86 - 87
Conference
WWW: World Wide Web Conference
Conference Location
Hong Kong, Hong Kong
Conference Date
2001-05-01 – 2000-05-05
ISBN
IST-REx-ID
Cite this
De Alfaro L, Henzinger TA, Mang F. MCWEB: A model-checking tool for web-site debugging. In: Proceedings of the 10th International Conference on World Wide Web. ACM; 2001:86-87.
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). MCWEB: A model-checking tool for web-site debugging. In Proceedings of the 10th international conference on World Wide Web (pp. 86–87). Hong Kong, Hong Kong: ACM.
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” In Proceedings of the 10th International Conference on World Wide Web, 86–87. ACM, 2001.
L. De Alfaro, T. A. Henzinger, and F. Mang, “MCWEB: A model-checking tool for web-site debugging,” in Proceedings of the 10th international conference on World Wide Web, Hong Kong, Hong Kong, 2001, pp. 86–87.
De Alfaro L, Henzinger TA, Mang F. 2001. MCWEB: A model-checking tool for web-site debugging. Proceedings of the 10th international conference on World Wide Web. WWW: World Wide Web Conference, 86–87.
De Alfaro, Luca, et al. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” Proceedings of the 10th International Conference on World Wide Web, ACM, 2001, pp. 86–87.
Link(s) to Main File(s)
Access Level
Closed Access
Google Scholar
ISBN Search