[1]
|
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.
|
[2]
|
H. Robinson, “Graph theory techniques in model-based testing,” International Conference on Testing Computer Software, 1999.
|
[3]
|
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.
|
[4]
|
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.
|
[5]
|
C. J. Mallery, “On the feasibility of using FSM approaches to test large web applications,” May 2005.
|
[6]
|
The precise group, http://www.cs.york.ac.uk/puml/.
|
[7]
|
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.
|
[8]
|
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.
|
[9]
|
I. Traore, “An outline of PVS semantics for UML statecharts,” Journal of Universal Computer Science, 2000.
|
[10]
|
M. Z. Lai and J. Y. You, “Formalize the time-extended UML state chart with timed automata,” Computer Applications, pp. 4–6, August 2003.
|
[11]
|
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.
|
[12]
|
G. Booch, J. Rumbaugh, and I. Jacobson, “The unified modeling language user guide,” China Machine Press, Beijing, 2006.
|
[13]
|
R. Hower, “Web site test tools and site management tools,” Software QA and Testing Resource Center, 2002.
|
[14]
|
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.
|
[15]
|
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.
|
[16]
|
I. K. El-Far and J. A. Whittaker, “Model-based software testing,” Encyclopedia of Software Engineering, Wiley-InterScience, Vol. 1, pp. 825–837, 2002.
|
[17]
|
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.
|
[18]
|
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.
|
[19]
|
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.
|
[20]
|
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.
|
[21]
|
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.
|
[22]
|
H. Gellersen and M. Gaedke, “Object-oriented web application development,” IEEE Internet Computing, January–February 1999.
|
[23]
|
J. Conallen, “Modeling web application architectures with UML,” Communications of the ACM, Vol. 42, No. 10, October 1999.
|
[24]
|
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.
|
[25]
|
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.
|