SYMBOLIC EXECUTION AND PROGRAM TESTING

被引：1649

作者：

KING, JC ^{[1
]}

机构：

[1] IBM CORP, THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598

来源：

关键词：

D O I：

10.1145/360248.360252

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：385 / 394

页数：10

共 17 条

[1]

BOYER RS, 1975, 1975 P INT C REL SOF, P234

[2]

CLARKE L, 1975, CUCS06075 U COL DEP

[3]

DARLINGTON J, 1972, THESIS U EDINBURGH

[4]

Elspas B., 1972, Computing Surveys, V4, P97, DOI 10.1145/356599.356602

[5]

Floyd Robert W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771

[6] PROVING PROGRAMS TO BE CORRECT [J].

KING, JC .

[7]

KING JC, 1972, J COMPUTER SYSTEM SC, V6, P305

[8]

KING JC, 1971, P IFIP C, V71, P235

[9]

KING JC, 1975, 1975 P INT C REL SOF, P228

[10]

KRAUS KW, 1973, APR IEEE S SOFTW REL, P18