共 15 条
[1]
BOYER RS, 1975 P INT C REL SOF, P234
[4]
GEDDES KO, 1979, ACM T MATH SOFTWARE, V5, P240
[5]
GIRARD E, 1973 IEEE S COMP SOF, P44
[6]
Goodenough J. B., 1975, IEEE Transactions on Software Engineering, VSE-1, P156, DOI 10.1109/TSE.1975.6312836
[7]
GUSTAVSON F, 1978, ACM T MATH SOFTWARE, V4, P295
[8]
HETZEL WC, 1976, THESIS U N CAROLINA
[9]
FUNCTIONAL PROGRAM TESTING
[J].
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,
1980, 6 (02)
:162-169
[10]
HOWDEN WE, 1977, PB268517