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 条

[21] TESTING PROGRAMS WITH AID OF A COMPILER [J].

HAMLET, RG .

[22]

HANTLER, 1976, ACM COMPUT SURV, V8, P331

[23]

Hopcroft J.E., 1969, FORMAL LANGUAGES THE

[24]

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

[25] FUNCTIONAL PROGRAM TESTING [J].

HOWDEN, WE .

[26]

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

[27] LINDENMAYER GRAMMARS AND SYMBOLIC TESTING [J].

HOWDEN, WE .

[28]

Kernighan B., 1976, SOFTWARE TOOLS

[29]

MILLER EF, 1975, 1975 P INT C REL SOF, P51

[30]

OSTRAND TJ, 1978, DIGEST WORKSHOP SOFT, P1