1. Home
  2. Proceedings
  3. ISSRE
  4. ISSRE 1995
Default Cover Image

Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95

Oct. 24 1995 to Oct. 27 1995

Toulouse, France

Table of Contents

Dependability of computer systems: concepts, limits, improvementsFull-text access may be available. Sign in or learn about subscription options.pp. 2,3,4,5,6,7,8,9,10,11
by J.-C. Laprie
An integrated approach for criticality predictionFull-text access may be available. Sign in or learn about subscription options.pp. 14,15,16,17,18,19,20,21,22,23
by C. Ebert, T. Liedtke
Detection of fault-prone program modules in a very large telecommunications systemFull-text access may be available. Sign in or learn about subscription options.pp. 24,25,26,27,28,29,30,31,32,33
by T.M. Khoshgoftaar, E.B. Allen, K.S. Kalaichelvan, N. Goel, J.P. Hudepohl, J. Mayrand
Analysis of review's effectiveness based on software metricsFull-text access may be available. Sign in or learn about subscription options.pp. 34,35,36,37,38,39
by Y. Takagi, T. Tanaka, N. Niihara, K. Sakamoto, S. Kusumoto, T. Kikuno
Analysis of failures in the Tandem NonStop-UX Operating SystemFull-text access may be available. Sign in or learn about subscription options.pp. 40,41,42,43,44,45,46,47,48,49,50
by A. Thakur, R.K. Iyer, L. Young, I. Lee
An experience report on requirements reliability engineering using formal methodsFull-text access may be available. Sign in or learn about subscription options.pp. 52,53,54,55,56,57
by D. Hamilton, R. Covington, A. Lee
The role of testing in the B formal development processFull-text access may be available. Sign in or learn about subscription options.pp. 58,59,60,61,62,63,64,65,66,67
by H. Waeselynck, J.-L. Boulanger
Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programmingFull-text access may be available. Sign in or learn about subscription options.pp. 68,69,70,71,72,73,74,75,76,77
by F. Belli, J. Dreyer
An approach to safety and correctness verification of software design specificationFull-text access may be available. Sign in or learn about subscription options.pp. 78,79,80,81,82,83
by Eun Mi Kim, S. Kusumoto, T. Kikuno
Antirandom testing: getting the most out of black-box testingFull-text access may be available. Sign in or learn about subscription options.pp. 86,87,88,89,90,91,92,93,94,95
by Y.K. Malaiya
System testing with an AI plannerFull-text access may be available. Sign in or learn about subscription options.pp. 96,97,98,99,100,101,102,103,104,105
by R.T. Mraz, A.E. Howe, A. von Mayrhauser, Li Li
Test generation for Boolean expressionsFull-text access may be available. Sign in or learn about subscription options.pp. 106,107,108,109,110,111,112,113,114,115
by A. Paradkar, K.C. Tai
On the correlation between code coverage and software reliabilityFull-text access may be available. Sign in or learn about subscription options.pp. 124,125,126,127,128,129,130,131,132
by F. Del Frate, P. Garg, A.P. Mathur, A. Pasquini
A test coverage notion for logic programmingFull-text access may be available. Sign in or learn about subscription options.pp. 133,134,135,136,137,138,139,140,141,142
by F. Belli, O. Jack
Fault localization using execution slices and dataflow testsFull-text access may be available. Sign in or learn about subscription options.pp. 143,144,145,146,147,148,149,150,151
by H. Agrawal, J.R. Horgan, S. London, W.E. Wong
Software Reliability in COTS-Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 154-154
by P.K. Mangan, B. Cruse, J.P. VanBlois, H. Levendel, J. Nogue
Dependable computing depends on structured fault toleranceFull-text access may be available. Sign in or learn about subscription options.pp. 158,159,160,161,162,163,164,165,166,167,168
by A. Avizienis
Dependability of modular software in a multiuser operational environmentFull-text access may be available. Sign in or learn about subscription options.pp. 170,171,172,173,174,175,176,177,178,179
by J.F. Meyer, B. Littlewood, D.R. Wright
Analysis of software rejuvenation using Markov Regenerative Stochastic Petri NetFull-text access may be available. Sign in or learn about subscription options.pp. 180,181,182,183,184,185,186,187
by S. Garg, A. Puliafito, M. Telek, K.S. Trivedi
An additive reliability model for the analysis of modular software failure dataFull-text access may be available. Sign in or learn about subscription options.pp. 188,189,190,191,192,193,194
by M. Xie, C. Wohlin
Hyper-geometric distribution software reliability growth model with imperfect debuggingFull-text access may be available. Sign in or learn about subscription options.pp. 195,196,197,198,199,200
by Rong-Huei Hou, Sy-Yen Kuo, Yi-Ping Chang
A new method for increasing the reliability of multiversion software systems using software breedingFull-text access may be available. Sign in or learn about subscription options.pp. 202,203,204,205,206,207,208
by K. Shima, K. Matsumoto, K. Torii
Performability modeling of N version programming techniqueFull-text access may be available. Sign in or learn about subscription options.pp. 209,210,211,212,213,214,215,216,217,218
by K. Goseva-Popstojanova, A. Grnarov
The effect of testing on the reliability of single version and 1-out-of-2 software systemsFull-text access may be available. Sign in or learn about subscription options.pp. 219,220,221,222,223,224,225,226,227,228
by K. Djambazov, P. Popov
Predicting software's minimum-time-to-hazard and mean-time-to-hazard for rare input eventsFull-text access may be available. Sign in or learn about subscription options.pp. 229,230,231,232,233,234,235,236,237,238
by J.M. Voas, K.W. Miller
An assessment of software quality in a C++ environmentFull-text access may be available. Sign in or learn about subscription options.pp. 240,241,242,243,244,245,246,247,248,249
by R.M. Szabo, T.M. Khoshgoftaar
Software reliability growth analysis: application of NHPP models and its evaluationFull-text access may be available. Sign in or learn about subscription options.pp. 250,251,252,253,254,255
by T. Nara, M. Nakata, A. Ooishi
BNR/NORTEL: path to improve product quality, reliability and customer satisfactionFull-text access may be available. Sign in or learn about subscription options.pp. 256,257,258,259,260,261,262
by W. Baziuk
Software Error Data Collection and Analysis in IndustryFull-text access may be available. Sign in or learn about subscription options.pp. 270-270
by M. Ohba
Defect reduction in VSE-methodology and resultsFull-text access may be available. Sign in or learn about subscription options.pp. 274,275,276,277
by H. Buczilowski
Towards a unified approach to the testability of co-designed systemsFull-text access may be available. Sign in or learn about subscription options.pp. 278,279,280,281,282,283,284,285
by Y. Le Traon, C. Robach
Constructing operational profiles for synchronous critical softwareFull-text access may be available. Sign in or learn about subscription options.pp. 286,287,288,289,290,291,292,293
by F. Ouabdesselam, I. Parissis
Dependability of safety-critical systems: contribution of the synchronous approachFull-text access may be available. Sign in or learn about subscription options.pp. 296,297,298,299,300,301
by D. Perez
An experiment in determining software reliability model applicabilityFull-text access may be available. Sign in or learn about subscription options.pp. 304,305,306,307,308,309,310,311,312,313
by A.P. Nikora, M.R. Lyu
An approach to automatic detection of software failuresFull-text access may be available. Sign in or learn about subscription options.pp. 314,315,316,317,318,319,320,321,322,323
by M. Hlady, R. Kovacevic, J.J. Li, B.R. Pekilis, D. Prairie, T. Savor, R.E. Seviora, D. Simser, A. Vorobiev
Parameter estimation of hyper-geometric distribution software reliability growth model by genetic algorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 324,325,326,327,328,329
by T. Minohara, Y. Tohma
MICOM IV&V planning approach and experience involving software reliabilityFull-text access may be available. Sign in or learn about subscription options.pp. 330,331,332,333,334,335,336
by R.E. Loesh, A.B. Gosnell, J.D. Johannes, R.M. Wyskida, S.E. Zutaut
A software reliability engineering success story. AT&T's Definity PBXFull-text access may be available. Sign in or learn about subscription options.pp. 338,339,340,341,342,343
by B.D. Jensen
Telecommunications network operations systems: experiences in software reliability engineeringFull-text access may be available. Sign in or learn about subscription options.pp. 344,345,346,347,348,349
by D. Kropfl, W. Ehrlich
Software reliability engineering study of a large-scale telecommunications software systemFull-text access may be available. Sign in or learn about subscription options.pp. 350,351,352,353,354,355,356,357,358,359
by D.W. Carman, A.A. Dolinsky, M.R. Lyu, J.S. Yu
An analysis of system level software availability during testFull-text access may be available. Sign in or learn about subscription options.pp. 360,361,362,363,364,365
by P.H. Franklin
A data analysis and representation engine to support software reliability engineeringFull-text access may be available. Sign in or learn about subscription options.pp. 368,369,370,371,372,373,374
by M. Carr
ROBUST: a next generation software reliability engineering toolFull-text access may be available. Sign in or learn about subscription options.pp. 375,376,377,378,379,380
by Naixin Li, Y.K. Malaiya
M-elopee: a CASE tool for software reliability studyFull-text access may be available. Sign in or learn about subscription options.pp. 381,382,383,384,385,386
by F. Vallee, B. Gayet, H. Derriennic, G. Le Gall
A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logicFull-text access may be available. Sign in or learn about subscription options.pp. 387,388,389,390,391,392
by A. Attoui, D.R.C. Hill
Index of authorsFreely available from IEEE.pp. 393-393
Showing 46 out of 46