State-Based Testing of Ajax Web Applications
An event-flow model of gui-based applications for testing