MCWEB: A model-checking tool for web-site debugging Conference Paper


Author(s): de Alfaro, Luca; Henzinger, Thomas A; Mang, Freddy Y
Title: MCWEB: A model-checking tool for web-site debugging
Affiliation
Abstract: We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.
Conference Title: WWW: World Wide Web Conference
Conference Dates: May 1-5, 2001
Conference Location: Hong Kong, China
Publisher: ACM  
Date Published: 2001-05-01
Start Page: 86
End Page: 87
URL:
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work