共 35 条
[1]
[Anonymous], P ACM INT S SOFTW TE
[4]
AUTOMATIC-GENERATION OF TEST SCRIPTS FROM FORMAL TEST SPECIFICATIONS
[J].
PROCEEDINGS OF THE ACM SIGSOFT 89: THIRD SYMPOSIUM ON SOFTWARE TESTING, ANALYSIS, AND VERIFICATION ( TAV 3 ),
1989, 14
:210-218
[5]
Briand L. C., 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), P345, DOI 10.1109/ICSE.1999.841025
[6]
Delamaro ME, 1996, P C PERF COMP SYST P, P79
[8]
ELBAUM S, 2001, 016008 OR STAT U
[10]
ELBAUM SG, 1998, TRCS9802 U ID