共 20 条
- [2] BOTTORFF PS, 1977, 14TH P DES AUT C, P479
- [3] BOTTORFF PS, 1979, 1979 P INT SOL STAT, P252
- [4] CARTER W, 1964, IBM J APR, P115
- [5] CRONZET Y, 1978, 4TH P EUR SOL STAT C, P173
- [6] EICHELBERGER EB, 1977, 14TH P DES AUT C, P462
- [7] TEST ROUTINES BASED ON SYMBOLIC LOGICAL STATEMENTS [J]. JOURNAL OF THE ACM, 1959, 6 (01) : 33 - 36
- [8] FANATSU S, 1978, 1978 P SEM TEST C CH, P98