5Tretmans,G J and Brinksma,H.TorX:Automated Model-Based Testing[C].First European Conference on Model-Driven Software Engineering,December 11-12,2003,Nuremberg,Germany.
8A Bertolino,Jinghua Gao,E Marchetti,A Polini.Automatic Test Data Generation for XML Schema-based Partition Testing[C].Proceedings of the Second International Workshop on Automation of Software Test (AST'07),2007.
9D Cohen,S R Dalal,M L Fredman and G C Patton.The AETG system:an approach to testing based on combinatorial design[J].IEEE Transactions on Software Engineering,23(7)July 1997.
二级参考文献32
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
