A FORMAL EVALUATION OF DATA FLOW PATH SELECTION CRITERIA

被引：81

作者：

CLARKE, LA ^{[1
]}

PODGURSKI, A ^{[1
]}

RICHARDSON, DJ ^{[1
]}

ZEIL, SJ ^{[1
]}

机构：

[1] UNIV MASSACHUSETTS,SOFTWARE DEV LAB,AMHERST,MA 01003

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1989年 / 15卷 / 11期

关键词：

D O I：

10.1109/32.41326

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1318 / 1332

页数：15

共 27 条

[1] APPLICATIONS OF SYMBOLIC EVALUATION [J].

CLARKE, LA ;

RICHARDSON, DJ .

JOURNAL OF SYSTEMS AND SOFTWARE, 1985, 5 (01) :15-35

[2]

CLARKE LA, 1985, 8TH P INT C SOFTW EN, P244

[3]

DEMILLO RA, 1988, 2ND P WORKSH SOFTW T, P142

[4]

FRANKL PG, 1986, JUL P ACM SIGSOFT IE, P4

[5]

HERMAN PM, 1976, AUSTR COMPUT J, V8

[6] A FUNCTIONAL-APPROACH TO PROGRAM TESTING AND ANALYSIS [J].

HOWDEN, WE .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (10) :997-1005

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

HOWDEN, WE .

IEEE TRANSACTIONS ON COMPUTERS, 1975, C 24 (05) :554-560

[8] A DATA FLOW ORIENTED PROGRAM TESTING STRATEGY [J].

LASKI, JW ;

KOREL, B .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (03) :347-354

[9]

LASKI JW, 1987, 8705 OAKL U DEP ENG

[10]

MORELL LJ, 1988, 2ND P WORKSH SOFTW T, P45

← 1 2 3 →