共 20 条
[1]
BEIZER B, 1983, SOFTWARE TESTING TEC
[3]
CHUSHO T, 1983, P IFIP 83, P621
[4]
CHUSHO T, 1983, MAY P NCC 83, P73
[5]
CHUSHO T, 1984, J INFORM PROCESSING, V6, P199
[6]
ELEMENDORF WR, 1974, 43 P SHARE NEW YORK
[7]
Goodenough J. B., 1975, IEEE Transactions on Software Engineering, VSE-1, P156, DOI 10.1109/TSE.1975.6312836
[8]
HECHT MS, 1978, FLOW ANAL COMPUTER P
[9]
HOLTHOUSE MA, 1979, COMPUTER, V12, P33, DOI 10.1109/MC.1979.1658853
[10]
Applicability of Software Validation Techniques to Scientific Programs
[J].
ACM Transactions on Programming Languages and Systems,
1980, 2 (03)
:307-320