COMBINING TESTING WITH FORMAL SPECIFICATIONS - A CASE-STUDY

被引：7

作者：

MCMULLIN, PR ^{[1
]}

GANNON, JD ^{[1
]}

机构：

[1] UNIV MARYLAND,DEPT COMP SCI,COLLEGE PK,MD 20742

来源：

关键词：

D O I：

10.1109/TSE.1983.236869

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：328 / 335

页数：8

共 8 条

[1]

Cleaveland J. C., 1980, SIGPLAN Notices, V15, P31, DOI 10.1145/947800.947802

[2]

GANNON JD, 1981, TOPLAS, V3, P211

[3]

GERHART SL, 1979, APR P SPEC REL SOFTW, P198

[4]

GUTTAG J, 1981, 7TH P ACM PRINC PROG, P251

[5] TESTING PROGRAMS WITH FINITE SETS OF DATA [J].

HAMLET, RG .

[6]

Howden W. E., 1981, 5th International Conference on Software Engineering, P235

[7]

Kernighan B.W., 1981, SOFTWARE TOOLS PASCA

[8]

MCMULLIN P, 1982, THESIS U MARYLAND