MCWEB: A Model-Checking Tool for Web Site Debugging.

Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Browse the full WWW paper archive.