1. Alalfi, M., Cordy, J.R., Dean, T.R.: A survey of analysis models and methods in website verification and testing. Technical report, School of Computing, Queen’s University (2007)
2. Lecture Notes in Computer Science;B. Bordbar,2006
3. Licata, D.R., Krishnamurthi, S.: Verifying interactive web programs. In: ICASE, pp. 164–173. IEEE Computer Society Press, Los Alamitos (2004)
4. Sciascio, E.D., Donini, F.M., Mongiello, M., Piscitelli, G.: Anweb: a system for automatic support to web application verification. In: ICSEKE, pp. 609–616 (July 14-19, 2002)
5. Lecture Notes in Computer Science;E.D. Sciascio,2005