Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

23

WWW
2001
ACM

favoriteEmaildiscussreport

121views Internet Technology» more WWW 2001»

MCWEB: A Model-Checking Tool for Web Site Debugging

14 years 11 months ago

MCWEB: A Model-Checking Tool for Web Site Debugging

Download mtc.epfl.ch

We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.

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

Real-time Traffic

Internet Technology | Model Checking Techniques | WWW 2001 |

claim paper

Related Content

» WAVE Automatic Verification of DataDriven Web Services

» Supporting endusers in the creation of dependable web clips

» Whodunit transactional profiling for multitier applications

» A Code Migration Framework for AJAX Applications

» Proposing SQL statement coverage metrics

Post Info
More Details (n/a)

Added	22 Nov 2009
Updated	22 Nov 2009
Type	Conference
Year	2001
Where	WWW
Authors	Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang

Comments (0)