8[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 被引量：1
9[2]Chow T S. Testing design modeled by finite-state machines. IEEE Transactions on Software Engineering, 1978,4(3): 178～187 被引量：1
10[3]Offutt J, Abdurazik A. Generating test cases from UML specifications. UML' 99, USA, 1999 被引量：1
