TEST DATA AS AN AID IN PROVING PROGRAM CORRECTNESS

被引：18

作者：

GELLER, M ^{[1
]}

机构：

[1] UNIV MICHIGAN, ANN ARBOR, MI 48104 USA

来源：

关键词：

D O I：

10.1145/359488.359495

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：368 / 375

页数：8

共 20 条

[1] Boyer Robert S., 1975, P INT C REL SOFTW, P234, DOI DOI 10.1145/800027.808445
[2] PROVING THEOREMS ABOUT LISP FUNCTIONS
BOYER, RS
MOORE, JS
[J]. JOURNAL OF THE ACM, 1975, 22 (01) : 129 - 144
[3] PROVING PROPERTIES OF PROGRAMS BY STRUCTURAL INDUCTION
BURSTALL, RM
[J]. COMPUTER JOURNAL, 1969, 12 (01) : 41 - &
[4] CLARKE L, 1976, IEEE T SOFTWARE ENG, V2, P227
[5] Dahl O. - J., 1972, STRUCTURED PROGRAMMI
[6] Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771
[7] GOODENOUGH JB, 1975, P INT C REL SOFTW, P493, DOI DOI 10.1145/390016.808473
[8] HENDERSON P, 1975, P INT C RELIABLE SOF, P221
[9] Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507
[10] Howden W. E., 1976, IEEE Transactions on Software Engineering, VSE-2, P208, DOI 10.1109/TSE.1976.233816