COMMENTS ON PROGRAM SPECIFICATION AND TESTING

被引：5

|

作者：

HOUSE, R

机构：

来源：

COMMUNICATIONS OF THE ACM | 1980年 / 23卷 / 06期

关键词：

D O I：

10.1145/358876.358879

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：324 / 331

页数：8

相关论文

共 50 条

[1] ON PROGRAM SPECIFICATION AND TESTING
HOUSE, R
COMMUNICATIONS OF THE ACM, 1980, 23 (10) : 599 - 599
[2] PROGRAM TESTING BY SPECIFICATION MUTATION
BUDD, TA
GOPAL, AS
COMPUTER LANGUAGES, 1985, 10 (01): : 63 - 73
[3] COMMENTS ON THE NALLINE TESTING PROGRAM
CHAMLEE, DL
FEDERAL PROBATION, 1963, 27 (03) : 57 - 58
[4] PROGRAM TESTING TECHNOLOGY BASED ON SPECIFICATION LANGUAGE
SARKISYAN, AA
SHUKURYAN, YG
CYBERNETICS, 1990, 26 (06): : 795 - 804
[5] COMMENTS ON THE NALLINE TESTING PROGRAM - REPLY
BROWN, TT
FEDERAL PROBATION, 1963, 27 (03) : 58 - 58
[6] COMMENTS ON TESTING FOR FORECAST AND SPECIFICATION OPTIMALITY USING LINEAR COMPOSITES
PHILLIPS, RF
JOURNAL OF FORECASTING, 1988, 7 (02) : 131 - 137
[7] PROGRAM TESTING - SPECIFICATION LANGUAGES AND AUTOMATIC TEST-GENERATION
KALNINSH, AA
BORZOV, YV
CYBERNETICS, 1985, 21 (06): : 753 - 762
[8] Software testing method based on domain analysis of specification and program
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2003, 40 (06):
[9] A KNOWLEDGE-BASED APPROACH TO THE SPECIFICATION-BASED PROGRAM TESTING
TEPANDI, J
COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1988, 7 (01): : 39 - 48
[10] Proteum: A family of tools to support specification and program testing based on mutation
Maldonado, JC
Delamaro, ME
Fabbri, SCPF
Simao, AD
Sugeta, T
Vincenzi, AMR
Masiero, PC
MUTATION TESTING FOR THE NEW CENTURY, 2001, 24 : 113 - 116

← 1 2 3 4 5 →