1[1]Gronau I, Hartman A, Kirshin A, Nagin K, Olvovsky S. A methodology and architecture for automated software testing. http://www.haifa.il.ibm.com/projects/verification/gtcb/papers/gtcbmanda.pdf, 2000
2[2]Chow T S. Testing design modeled by finite-state machines. IEEE Transactions on Software Engineering, 1978,4(3): 178～187
3[3]Offutt J, Abdurazik A. Generating test cases from UML specifications. UML' 99, USA, 1999
4[4]Poore J H. Introduction to the special issue on: model-based statistical testing of software intensive systems. Information and Software Technology, 2000, 42(12):797～799
5[5]Beizer B. Black-Box Testing: Techniques for Functional Testing of Software and Systems, Wiley, New York, USA, 1995
6[6]Jorgensen A, Whittaker J A. An API Testing Method. STAREAST' 00, USA, 2000
7[7]Fujiwara S, Bochmann G, Khendek F.Test selection based on finite state models. IEEE Transactions on Software Engineering, 1991, 17(6): 591～603
8[8]Rosaria S, Robinson H. Applying models in your testing process. Information and Software Technology, 2000, 42(12): 815～824
9[9]Whittaker J A. Stochastic software testing. The Annals of Software Engineering, 1997, 4:115～131
10[10]Liu C, Richardson D J. Using application states in software testing. ICSE'00, Ireland, 2000
