AN EXPERIMENTAL EVALUATION OF THE ASSUMPTION OF INDEPENDENCE IN MULTIVERSION PROGRAMMING

被引：318

作者：

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 [J].

DUNHAM, JR .

[9]

ECKHARDT DE, 1985, NASA TM86369 LANGL R

[10]

Gmeiner L., 1980, SAFETY COMPUTER CONT, P75