SPECIAL SECTION ON SOFTWARE TESTING

被引：12

作者：

HAMLET, R

机构：

来源：

COMMUNICATIONS OF THE ACM | 1988年 / 31卷 / 06期

关键词：

D O I：

10.1145/62959.62962

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：662 / 667

页数：6

共 24 条

[1] COMPARING THE EFFECTIVENESS OF SOFTWARE TESTING STRATEGIES [J].

BASILI, VR ;

SELBY, RW .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (12) :1278-1296

[2]

CLARKE L, 1977, IEEE T SOFTWARE ENG, V2, P215

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

DARRINGER, JA ;

KING, JC .

COMPUTER, 1978, 11 (04) :51-59

[4] HINTS ON TEST DATA SELECTION - HELP FOR PRACTICING PROGRAMMER [J].

DEMILLO, RA ;

LIPTON, RJ .

COMPUTER, 1978, 11 (04) :34-41

[5] AN EVALUATION OF RANDOM TESTING [J].

DURAN, JW ;

NTAFOS, SC .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (04) :438-444

[6]

Halstead M.H., 1962, MACHINE INDEPENDENT

[7]

HAMLET R, 1972, 4TH P ACM S THEOR CO, P193

[8]

HAMLET R, 1973, ACM SIGPLAN NOTICES, V8, P21

[9] PROBABLE CORRECTNESS THEORY [J].

HAMLET, RG .

INFORMATION PROCESSING LETTERS, 1987, 25 (01) :17-25

[10] TESTING PROGRAMS WITH AID OF A COMPILER [J].

HAMLET, RG .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (04) :279-290

← 1 2 3 →