Patent ID: 8255384

Claim:
A method comprising: accessing, by one or more computer systems, a dynamic web application that comprises a client tier; crawling, by the one or more computer systems, the dynamic web application, the crawling comprising one or more instances of guided crawling that each initiate when a preceding instance of automatic crawling reaches a state in the dynamic web application that meets one or more predetermined criteria for the instance of guided crawling and, when initiated, crawling the dynamic web application by performing one or more predetermined actions of crawling on the dynamic web application from the state in the dynamic web application reached during automatic crawling of the dynamic web application that led to initiation of the one or more instances of guided crawling before proceeding with another instance of automatic crawling; generating, by the one or more computer systems, based on the crawling, a screen transition model of the dynamic web application, the screen transition model comprising a hierarchical finite state machine (FSM); and after the generation of the screen transition model has completed, performing, by the one or more computer systems, model checking on the screen transition model to validate the client tier of the dynamic web application.