2 NOTIONS OF CORRECTNESS AND THEIR RELATION TO TESTING

被引：131

作者：

BUDD, TA

ANGLUIN, D

机构：

来源：

关键词：

D O I：

10.1007/BF00625279

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：31 / 45

页数：15

共 33 条

[1] COMPLEXITY OF MINIMUM INFERENCE OF REGULAR SETS [J].

ANGLUIN, D .

INFORMATION AND CONTROL, 1978, 39 (03) :337-350

[2]

BALDWIN D, 1979, 161 YAL U TECHN REP

[3]

BARZDIN JM, 1975, LECTURE NOTES COMPUT, V32, P1

[4]

Biermann A. W., 1976, IEEE Transactions on Software Engineering, VSE-2, P141, DOI 10.1109/TSE.1976.233812

[5] TOWARD A MATHEMATICAL THEORY OF INDUCTIVE INFERENCE [J].

BLUM, L ;

BLUM, M .

INFORMATION AND CONTROL, 1975, 28 (02) :125-155

[6] EFFECTIVE PROCEDURES FOR SPEEDING UP ALGORITHMS [J].

BLUM, M .

[7]

BROOKS M, 1980, THESIS STANFORD U

[8]

BUDD TA, 1979, 155 YAL U TECHN REP

[9]

BUDD TA, 1980, THESIS YALE U

[10] TESTING SOFTWARE DESIGN MODELED BY FINITE-STATE MACHINES [J].

CHOW, TS .