State-Based Testing of Ajax Web Applications
Analysis and testing of Web applications