A FUNCTIONAL-APPROACH TO PROGRAM TESTING AND ANALYSIS

被引：26

作者：

HOWDEN, WE

机构：

来源：

关键词：

D O I：

10.1109/TSE.1986.6313016

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：997 / 1005

页数：9

共 42 条

[1]

Boyer Robert S., 1975, P INT C REL SOFTW, P234, DOI DOI 10.1145/800027.808445

[2]

BROOKS M, 1980, 80804 STANF U TECH R

[3] 2 NOTIONS OF CORRECTNESS AND THEIR RELATION TO TESTING [J].

BUDD, TA ;

ANGLUIN, D .

[4]

BUDD TA, 1980, P S PRINCIPLES PROGR

[5]

CAINE SH, 1975, P NAT COMPUT C

[6] SYMBOLIC EVALUATION AND THE ANALYSIS OF PROGRAMS [J].

CHEATHAM, TE ;

HOLLOWAY, GH ;

TOWNLEY, JA .

[7]

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

[8] APPLICATIONS OF SYMBOLIC EXECUTION TO PROGRAM TESTING [J].

DARRINGER, JA ;

KING, JC .

[9]

DEMARCO T, 1978, STRUCTURAL ANAL SYST

[10]

DURAN JW, 83 U TEX COMP SCI RE