A CLOSE LOOK AT DOMAIN TESTING

被引：42

作者：

CLARKE, LA ^{[1
]}

HASSELL, J ^{[1
]}

RICHARDSON, DJ ^{[1
]}

机构：

[1] TULANE UNIV, DEPT COMP SCI, NEW ORLEANS, LA 70118 USA

来源：

关键词：

D O I：

10.1109/TSE.1982.235572

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：380 / 390

页数：11

共 11 条

[1] SYMBOLIC EVALUATION AND THE ANALYSIS OF PROGRAMS [J].

CHEATHAM, TE ;

HOLLOWAY, GH ;

TOWNLEY, JA .

[2]

Clarke L. A., 1981, Computer Program Testing. Proceedings of the Summer School on Computer Program Testing, P65

[3]

Clarke L. A., 1976, IEEE Transactions on Software Engineering, VSE-2, P215, DOI 10.1109/TSE.1976.233817

[4]

DeMillo R. A, 1977, PROBABILISTIC REMARK

[5]

Goodenough J. B., 1975, IEEE Transactions on Software Engineering, VSE-1, P156, DOI 10.1109/TSE.1975.6312836

[6]

Howden W. E., 1976, IEEE Transactions on Software Engineering, VSE-2, P208, DOI 10.1109/TSE.1976.233816

[7]

HOWDEN WE, 1978, ACTA INFORM, V10, P53, DOI 10.1007/BF00260923

[8] SYMBOLIC TESTING AND DISSECT SYMBOLIC EVALUATION SYSTEM [J].

HOWDEN, WE .

[9]

Richardson D. J., 1981, 5th International Conference on Software Engineering, P244

[10] A DOMAIN STRATEGY FOR COMPUTER-PROGRAM TESTING [J].

WHITE, LJ ;

COHEN, EI .