ON THE UNCERTAINTY IN THE CORRECTNESS OF COMPUTER-PROGRAMS

被引：10

作者：

BASTANI, FB

机构：

来源：

关键词：

D O I：

10.1109/TSE.1985.232545

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：857 / 864

页数：8

共 15 条

[1] [Anonymous], 1979, ADV FUZZY SET THEORY
[2] BASTANI FB, 1982, UHCS829 U HOUST DEP
[3] A METHOD FOR THE SYNTAX DIRECTED DESIGN OF MULTIPROGRAMS
COLEMAN, D
HUGHES, JW
POWELL, MS
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (02) : 189 - 196
[4] HINTS ON TEST DATA SELECTION - HELP FOR PRACTICING PROGRAMMER
DEMILLO, RA
LIPTON, RJ
[J]. COMPUTER, 1978, 11 (04) : 34 - 41
[5] Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[6] EMPIRICAL STOPPING RULE FOR DEBUGGING AND TESTING COMPUTER SOFTWARE
FORMAN, EH
SINGPURWALLA, ND
[J]. JOURNAL OF THE AMERICAN STATISTICAL ASSOCIATION, 1977, 72 (360) : 750 - 757
[7] HANTLER SL, 1976, ACM COMPUT SURVEYS, V8
[8] Howden W. E., 1976, IEEE Transactions on Software Engineering, VSE-2, P208, DOI 10.1109/TSE.1976.233816
[9] THEORETICAL AND EMPIRICAL STUDIES OF PROGRAM TESTING
HOWDEN, WE
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (04) : 293 - 298
[10] ESTIMATING SOFTWARE RELIABILITY FROM TEST DATA
NELSON, E
[J]. MICROELECTRONICS AND RELIABILITY, 1978, 17 (01): : 67 - 73