Andrew, Offutt and Alexander [6] proposed FSMWeb that
represents web applications using hierarchal Finite state
machines. At the bottommost level each node of the FSM is a
page. At the middle levels the nodes are the FSMs of the ones
in their bottom level. A test case is a sequence of states with
some parameters needed for each state. The test cases of the
bottomed level are joined to create top level test cases.