S. R. Dalal, A. Jain, N. Karunanithi, and B. M. Horowitz, “Model-based testing in practice,” Proceedings of the 21st International Conference on Software Engineering, Los Angeles, California, United States, pp. 285–294, May 1999.
 H. Robinson, “Graph theory techniques in model-based testing,” International Conference on Testing Computer Software, 1999.
 W. E. McUmber and B. H. C. Cheng, “A general framework for formalizing UML with formal languages,” Proceeding of the 23rd international conference on Software engineering, Toronto, Canada, pp. 433–442, 2001.
 J. Offutt, S. Y. Liu, A. Abdurazik, and P. Ammann, “Generating test data from state-based specifications,” The Journal of Software Testing, Verification, and Reliability, pp. 25–53, 2003.
 C. J. Mallery, “On the feasibility of using FSM approaches to test large web applications,” May 2005.
 The precise group, http://www.cs.york.ac.uk/puml/.
 R. M. Borges and A. C. Mota, “Integrating UML and formal methods,” Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, pp. 97–112, July 2007.
 D. Latella, I. Majzik, and M. Massink, “Automatic verification of a behavioral subset of UML Statechart diagrams using the SPIN model-checker,” Formal Aspects of Computing, pp. 637–664, 1999.
 I. Traore, “An outline of PVS semantics for UML statecharts,” Journal of Universal Computer Science, 2000.
 M. Z. Lai and J. Y. You, “Formalize the time-extended UML state chart with timed automata,” Computer Applications, pp. 4–6, August 2003.
 E. Mikk, Y. Lakhnech, and M. Siegel, “Hierarchical automata as model for statecharts,” Proceedings of the 3rd Asian Computing Science Conference on Advances in Computing Science, pp. 181–196, 1997.
 G. Booch, J. Rumbaugh, and I. Jacobson, “The unified modeling language user guide,” China Machine Press, Beijing, 2006.
 R. Hower, “Web site test tools and site management tools,” Software QA and Testing Resource Center, 2002.
 Belinfante, L. Frantzen, and C. Schallhart, “Tools for Test Case Generation,” Model-based Testing of Reactive Systems, Springer LNCS 3472, Springer-Verlag, pp. 391–438, 2005.
 M. Utting, A. Pretschner, and B. Legeard, “A taxonomy of model-based testing,” Technical Report 04/2006, Department of Computer Science, The University of Waikato (New Zealand), April 2006.
 I. K. El-Far and J. A. Whittaker, “Model-based software testing,” Encyclopedia of Software Engineering, Wiley-InterScience, Vol. 1, pp. 825–837, 2002.
 M. Blackburn, R. Busser, and A. Nauman, “Why model-based test automation is different and what you should know to get started,” in International Conference on Practical Software Quality and Testing, 2004.
 B. Legeard, F. Peureux, and M. Utting, “Controlling test case explosion in test generation from B formal models,” The Journal of Software Testing, Verification and Reliability, 14(2): pp. 81–103, 2004.
 A. Pretschner, H. Lotzbeyer, and J. Philipps, “Model based testing in evolutionary software development,” IEEE International Workshop on Rapid System Prototyping 2001, pp. 155–161, 2001.
 T. Isakowitz, E. A. Stohr, and P. Balasubramanian, “RMM: A methodology for structured hypermedia design,” Communication of the ACM, Vol. 38, No. 8, August 1995.
 F. Coda, C. Ghezzi, G. Vigna, and F. Garzotto, “Towards a software engineering approach to web site development,” Proceedings of 9th International Workshop on Software Specification and Design, Ise-Shima, Japan, April 16–18, 1998.
 H. Gellersen and M. Gaedke, “Object-oriented web application development,” IEEE Internet Computing, January–February 1999.
 J. Conallen, “Modeling web application architectures with UML,” Communications of the ACM, Vol. 42, No. 10, October 1999.
 D. C. Kung, C. H. Liu, and P. Hsia, “An object-oriented web test model for testing web applications,” First Asia-Pacific Conference on Quality Software, pp. 30–31, October 2000.
 F. Ricca and P. Tonella, “Analysis and testing of web applications,” Proceedings of the 23rd International Conference on Software Engineering, pp.12–19, May 2001.