共 26 条
[1]
Agrawal H., 1993, Proceedings. Conference on Software Maintenance 1993. CSM-93 (Cat. No.93CH3360-5), P348, DOI 10.1109/ICSM.1993.366927
[2]
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
[3]
BALL T, 1998, P 25 ACM SIGPLAN SIG, P134
[4]
Benedusi P., 1988, Proceedings of the Conference on Software Maintenance - 1988 (IEEE Cat. No.88CH2615-3), P352, DOI 10.1109/ICSM.1988.10187
[6]
CHEN YF, 1994, PROC INT CONF SOFTW, P211
[7]
Graves T., 1998, P 20 INT C SOFTW ENG
[8]
Gupta R., 1992, P IEEE C SOFTW MAINT, P299
[9]
HARROLD M, 1997, OSUCISRC397TR17 OH S
[10]
Harrold M. J., 1988, Proceedings of the Conference on Software Maintenance - 1988 (IEEE Cat. No.88CH2615-3), P362, DOI 10.1109/ICSM.1988.10188