7[1]Schach S.R..Software Engineering with Java.Boston:McGraw-Hill,1999 被引量:1
8[2]DeMillo R. et al.. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, 1991, 17(9): 900~910 被引量:1
9[3]Grabowski J. et al.. On the design of the new testing language TTCN-3. In: Ural H. et al.eds.. Testing of Communicating Systems. Kluwer: Academic Publishers, 2000,13: 161~176 被引量:1
10[4]Schieferdecker I. et al.. Conformance testing with TTCN. In: Telektronikk, 2000,96(4): 85~95 被引量:1