1. Miao, H., Zeng, H.: Model Checking-based Verification of Web Application. In: Proceedings of 12th IEEE International Conference on Engineering Complex Computer Systems pp. 47–55 (2007)
2. Andrews, A., Offutt, J., Alexander, R.: Testing Web Applications by Modeling with FSMs. Software Systems and Modeling 4(3), 326–345 (2005)
3. Kung, D.C., Liu, C.H., Hsia, P.: An Object-Oriented Web Test Model for Testing Web Applications. In: Proceedings of the 1st Asia-Pacific Conference on Web Applications, pp. 111–120. IEEE Press, New York (2000)
4. Haydar, M., Petrenko, A., Sahraoui, H.: Formal Verification of Web Applications Modeled by Communicating Automata. In: Proceedings of the 24th IFIP International Conference on Formal Techniques for Networked and Distributed Systems, Madrid, Spain, pp. 115–132 (2004)
5. Licata, D.R., Krishnamurthi, S.: Verifying interactive web programs. In: Proceedings of the IEEE International Conference on Automated Software Engineering, pp. 164–173. IEEE Computer Society, Los Alamitos (2004)