QUANTIFYING SOFTWARE VALIDITY BY SAMPLING

被引：19

作者：

DURAN, JW

WIORKOWSKI, JJ

机构：

来源：

关键词：

D O I：

10.1109/TR.1980.5220756

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：141 / 144

页数：4

共 9 条

[1] SOCIAL PROCESSES AND PROOFS OF THEOREMS AND PROGRAMS [J].

DEMILLO, RA ;

LIPTON, RJ ;

PERLIS, AJ .

[2]

DURAN JW, 1978, NOV P SOFTW QUAL ASS, P39

[3]

Gerhart S. L., 1976, IEEE Transactions on Software Engineering, VSE-2, DOI 10.1109/TSE.1976.233815

[4]

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

[5]

Howden W. E., 1978, 3rd International Conference on Software Engineering, P305

[6] EVALUATION OF EFFECTIVENESS OF SYMBOLIC TESTING [J].

HOWDEN, WE .

[7]

Huang J. C., 1975, Computing Surveys, V7, P113, DOI 10.1145/356651.356652

[8]

Rabin M.O., 1976, ALGORITHMS COMPLEXIT, P21

[9]

Ramamoorthy C. V., 1976, IEEE Transactions on Software Engineering, VSE-2, P293, DOI 10.1109/TSE.1976.233835