AN EXPERIMENTAL EVALUATION OF THE ASSUMPTION OF INDEPENDENCE IN MULTIVERSION PROGRAMMING

被引：316

作者：

KNIGHT, JC ^{[1
]}

LEVESON, NG ^{[1
]}

机构：

[1] UNIV CALIF IRVINE,DEPT COMP SCI,IRVINE,CA 92717

来源：

关键词：

D O I：

10.1109/TSE.1986.6312924

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：96 / 109

页数：14

共 25 条

[1] AKIN TA, 1982, SOFTWARE TOOLS SUBSY
[2] AVIZIENIS A, 1984, COMPUTER, V17
[3] BONNETT B, 1984, SEP COMPCON 84 WASH
[4] BRILLIANT SS, 1985, THESIS U VIRGINIA CH
[5] Chen L., 1978, 8TH ANN INT S FAULT, P3
[6] CORNELIUS B, 1982, HULL V MODE PASCAL C
[7] DAHLL G, 1980, SAFETY COMPUTER CONT, P89
[8] EXPERIMENTS IN SOFTWARE-RELIABILITY - LIFE-CRITICAL APPLICATIONS
DUNHAM, JR
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (01) : 110 - 123
[9] ECKHARDT DE, 1985, NASA TM86369 LANGL R
[10] Gmeiner L., 1980, SAFETY COMPUTER CONT, P75