APPLICATIONS OF SYMBOLIC EXECUTION TO PROGRAM TESTING

被引：16

作者：

DARRINGER, JA

KING, JC

机构：

来源：

关键词：

D O I：

10.1109/C-M.1978.218139

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：51 / 59

页数：9

共 16 条

[1]

BOYER RS, 1975, JACM, V22, P48

[2]

BOYER RS, 1975, APR P INT C REL SOFT, P234

[3]

Clarke L. A., 1976, IEEE Transactions on Software Engineering, VSE-2, P215, DOI 10.1109/TSE.1976.233817

[4]

Deutsch L.P., 1973, INTERACTIVE PROGRAM

[5]

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

[6]

HANTLER SL, 1976, ACM COMPUT SURV, V8, P331

[7] SYMBOLIC TESTING AND DISSECT SYMBOLIC EVALUATION SYSTEM [J].

HOWDEN, WE .

[8] METHODOLOGY FOR GENERATION OF PROGRAM TEST DATA [J].

HOWDEN, WE .

[9]

HUANG JC, 1975, ACM COMPUT SURV, V7, P113

[10] SYMBOLIC EXECUTION AND PROGRAM TESTING [J].

KING, JC .