TEST SEQUENCE SELECTION BASED ON STATIC DATA FLOW-ANALYSIS

被引：28

|

作者：

URAL, H

机构：

来源：

COMPUTER COMMUNICATIONS | 1987年 / 10卷 / 05期

关键词：

D O I：

10.1016/0140-3664(87)90137-X

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：234 / 242

页数：9

相关论文

共 50 条

[1] ANOMALY DETECTION IN CONCURRENT SOFTWARE BY STATIC DATA FLOW-ANALYSIS
TAYLOR, RN
OSTERWEIL, LJ
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (03) : 265 - 278
[2] STATIC DATA FLOW-ANALYSIS OF PL/I PROGRAMS WITH THE PROBE SYSTEM
SARRAGA, RF
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (04) : 451 - 459
[3] A LUBRICANT FOR DATA FLOW-ANALYSIS
ROSEN, BK
[J]. SIAM JOURNAL ON COMPUTING, 1982, 11 (03) : 493 - 511
[4] LINEAR DATA FLOW-ANALYSIS
RYAN, S
[J]. SIGPLAN NOTICES, 1992, 27 (04): : 59 - 67
[5] DATA FLOW-ANALYSIS FOR COBOL
KAO, H
CHEN, TY
[J]. SIGPLAN NOTICES, 1984, 19 (07): : 18 - 21
[6] CORRECTNESS OF STATIC FLOW-ANALYSIS IN CONTINUATION SEMANTICS
MONTENYOHL, M
WAND, M
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1991, 16 (01) : 1 - 18
[7] DATA FLOW-ANALYSIS OF RECURSIVE PROCEDURES
FAIRFIELD, P
HENNELL, MA
[J]. SIGPLAN NOTICES, 1988, 23 (01): : 48 - 57
[8] A LOGIC-BASED APPROACH TO DATA FLOW-ANALYSIS PROBLEMS
SAGIV, S
FRANCEZ, N
RODEH, M
WILHELM, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 456 : 277 - 292
[9] A DENOTATIONAL FRAMEWORK FOR DATA FLOW-ANALYSIS
NIELSON, F
[J]. ACTA INFORMATICA, 1982, 18 (03) : 265 - 287
[10] ELIMINATION ALGORITHMS FOR DATA FLOW-ANALYSIS
RYDER, BG
PAULL, MC
[J]. COMPUTING SURVEYS, 1986, 18 (03) : 277 - 316

← 1 2 3 4 5 →