1. Reverse engineering finite state machines from rich internet applications;Amalfitano,2008
2. Testing web applications by modeling with FSMs;Andrews;Software and System Modeling,2005
3. G. Antoniol, M. Di Penta, M. Zazzara, Understanding web applications through dynamic analysis, in: Proceedings of the 12th International Workshop on Program Comprehension, IWPC, 2004, pp. 120–131.
4. Finding bugs in dynamic web applications;Artzi,2008
5. Finding bugs in web applications using dynamic test generation and explicit-state model checking;Artzi;IEEE Transactions on Software Engineering,2010