Software reliability - bibliography

Abstract This paper presents a brief introduction and extensive list of selective bibliography on software reliability and related areas.

[1]  Glenford J Myers,et al.  Reliable software through composite design , 1975 .

[2]  Brian Randell.  System structure for software fault tolerance , 1975 .

[3]  P. M. Melliar-Smith,et al.  A program structure for error detection and recovery , 1974, Symposium on Operating Systems.

[4]  H. Hecht.  Measurement, estimation, and prediction of software reliability , 1977 .

[5]  Myron Lipow,et al.  Reliability: Management, Methods, and Mathematics , 1977 .

[6]  James C. King,et al.  Proving Programs to be Correct , 1971, IEEE Transactions on Computers.

[7]  Loren C. Carpenter,et al.  Software design validation tool , 1975 .

[8]  Barry Boehm,et al.  Characteristics of software quality , 1978 .

[9]  William E. Howden.  Empirical studies of software validation , 1979 .

[10]  R. J. Rubey,et al.  Quantitative aspects of software validation , 1975 .

[11]  Michael Fagan.  Design and Code Inspections to Reduce Errors in Program Development , 1976, IBM Syst. J..

[12]  Bev Littlewood.  How to Measure Software Reliability and How Not To , 1979, IEEE Transactions on Reliability.

[13]  R. G. Bennetts.  A Comment on Reliability Evaluation of Software , 1976 .

[14]  Harlan D. Mills.  How to write correct programs and know it , 1975 .

[15]  Norman F. Schneidewind.  Application of Program Graphs and Complexity Analysis to Software Development and Testing , 1979, IEEE Transactions on Reliability.

[16]  Eldred Nelson,et al.  Estimating software reliability from test data , 1978 .

[17]  Z. Jelinski,et al.  Software reliability Research , 1972, Statistical Computer Performance Evaluation.

[18]  Martin L. Shooman,et al.  A many-state Markov model for the estimation and prediction of computer software performance parameters , 1975 .

[19]  Myron Lipow,et al.  Software reliability : a study of large project reality , 1978 .

[20]  Ralph L. London.  A view of program verification , 1975 .

[21]  Myron Lipow.  Prediction of software failures , 1979, J. Syst. Softw..

[22]  James A. Ronback.  Software reliability how it affects system reliability , 1975 .

[23]  Z. Jelinski,et al.  Software Reliability Predictions , 1975 .

[24]  ZOHAR MANNA,et al.  The Correctness of Programs , 1969, J. Comput. Syst. Sci..

[25]  Alan N. Sukert.  Empirical Validation of Three Software Error Prediction Models , 1979, IEEE Transactions on Reliability.

[26]  Ray E. Schafer,et al.  Validation of Software Reliability Models , 1979 .

[27]  Inder M. Soi,et al.  Some aspects of reliable software packages , 1979 .

[28]  Amrit L. Goel,et al.  Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures , 1979, IEEE Transactions on Reliability.

[29]  William R. Bezanson.  Reliable software through requirements definition using data abstractions , 1978 .

[30]  R. W. Wolverton,et al.  Assessment of Software Reliability , 1973 .

[31]  Bev Littlewood,et al.  Theories of Software Reliability: How Good Are They and How Can They Be Improved? , 1980, IEEE Transactions on Software Engineering.

[32]  John D. Musa,et al.  Software reliability measures applied to system engineering , 1899, 1979 International Workshop on Managing Requirements Knowledge (MARK).

[33]  Theodore A. Linden,et al.  A summary of progress toward proving program correctness , 1899, AFIPS '72 (Fall, part I).

[34]  H. Hecht,et al.  Fault-Tolerant Software for Real-Time Applications , 1976, CSUR.

[35]  T. A. Thayer,et al.  Software Reliability Study. , 1974 .

[36]  Roger C. Cheung.  A User-Oriented Software Reliability Model , 1980, IEEE Trans. Software Eng..

[37]  Pratap N. Misra,et al.  Software Reliability Analysis , 1983, IBM Syst. J..

[38]  Bev Littlewood,et al.  A Bayesian Reliability Growth Model for Computer Software , 1973 .

[39]  M. Yamamoto,et al.  On the software reliability , 1974 .

[40]  James C. King.  A new approach to program testing , 1975 .

[41]  H. Hecht,et al.  Reliability measurement during software development , 1977 .

[42]  Martin L. Shooman,et al.  A Many-State Markov Model for Computer Software Performance Parameters , 1976, IEEE Transactions on Reliability.

[43]  C. V. Ramamoorthy,et al.  On the Automated Generation of Program Test Data , 1976, IEEE Transactions on Software Engineering.

[44]  Norman F. Schneidewind.  An approach to software reliability prediction and quality control , 1972, AFIPS '72 (Fall, part II).

[45]  Fumio Akiyama,et al.  An Example of Software System Debugging , 1971, IFIP Congress.

[46]  Bev Littlewood.  A bayesian differential debugging model for software reliability , 1981, SIGMETRICS Perform. Evaluation Rev..

[47]  Leon J. Osterweil,et al.  Data Flow Analysis in Software Reliability , 1976, CSUR.

[48]  Nozer D. Singpurwalla,et al.  Optimal Time Intervals for Testing Hypotheses on Computer Software Errors , 1979, IEEE Transactions on Reliability.

[49]  R. D. Williams.  Managing the development of reliable software , 1975 .

[50]  Herbert Hecht.  Fault-Tolerant Software , 1979, IEEE Transactions on Reliability.

[51]  Karl N. Levitt,et al.  Software Reliability , 1971, Computer.

[52]  SIDNEY L. HANTLER,et al.  An Introduction to Proving the Correctness of Programs , 1976, CSUR.

[53]  Inder M. Soi,et al.  Hardware vs software reliability—A comparative study , 1980 .

[54]  George J. Schick,et al.  An Analysis of Competing Software Reliability Models , 1978, IEEE Transactions on Software Engineering.

[55]  John D. Musa.  Validity of Execution-Time Theory of Software Reliability , 1979, IEEE Transactions on Reliability.

[56]  L. M. Culpepper.  A system for reliable engineering software , 1975 .

[57]  Lawrence Robinson,et al.  On attaining reliable software for a secure operating system , 1975 .

[58]  C. V. Ramamoorthy,et al.  Reliability and Integrity of Large Computer Programs , 1974, Fachtagung Prozessrechner.

[59]  K Okumoto,et al.  Bayesian Software Prediction Models. Volume 1. An Imperfect Debugging Model for Reliability and other Quantitative Measures of Software Systems , 1978 .

[60]  Lawrence Yelowitz,et al.  Observations of Fallibility in Applications of Modern Programming Methodologies , 1976, IEEE Transactions on Software Engineering.

[61]  Peter J. Denning,et al.  Fault Tolerant Operating Systems , 1976, CSUR.

[62]  Barry Boehm,et al.  Some experience with automated aids to the design of large-scale reliable software , 1975 .

[63]  Martin L. Shooman,et al.  Software Reliability: Analysis and Prediction , 1976 .

[64]  J. R. Brown,et al.  Testing for software reliability , 1975 .

[65]  Michael G. Walker,et al.  Improved Software Reliability Through Requirements Verification , 1979, IEEE Transactions on Reliability.

[66]  John B. Goodenough,et al.  Toward a theory of test data selection , 1975 .

[67]  Barbara Liskov,et al.  A design methodology for reliable software systems , 1972, AFIPS '72 (Fall, part I).

[68]  Balbir S. Dhillon,et al.  Engineering reliability : new techniques and applications , 1981 .

[69]  Normam F. Schneidewind.  A Methodology for Software Reliability Prediction and Quality Control , 1972 .

[70]  Norman F. Schneidewind.  Analysis of error processes in computer software , 1975 .

[71]  Martin L. Shooman,et al.  Structural models for software reliability prediction , 1976, ICSE '76.

[72]  John D. Musa,et al.  Software reliability measures applied to systems engineering , 1899 .

[73]  Glenford J. Myers,et al.  Software Reliability: Principles and Practices , 1976 .

[74]  David C. Luckham,et al.  A methodology for verifying programs , 1975 .

[75]  Leon G. Stucki,et al.  New assertion concepts for self-metric software validation , 1975 .

[76]  Ralph L. London.  Proving programs correct: Some techniques and examples , 1970 .

[77]  Bev Littlewood.  A reliability model for Markov structured software , 1975 .

[78]  C. V. Ramamoorthy,et al.  Testing large software with automated software evaluation systems , 1975 .

[79]  Hermann Kopetz.  Software Reliability , 1979 .

[80]  William C. Hetzel,et al.  An experimental analysis of program verification methods. , 1976 .

[81]  Donald I. Good,et al.  An interactive program verification system , 1975 .

[82]  Barry W. Boehm,et al.  Quantitative evaluation of software quality , 1976, ICSE '76.

[83]  A. Sukert.  A multi-project comparison of software reliability models , 1977 .

[84]  David Lorge Parnas.  The influence of software structure on reliability , 1975 .

[85]  John D. Musa,et al.  A theory of software reliability and its application , 1975, IEEE Transactions on Software Engineering.

[86]  Albert Endres.  An analysis of errors and their causes in system programs , 1975 .

[87]  Walter Freiberger,et al.  Statistical Computer Performance Evaluation , 1972 .

[88]  C. V. Ramamoorthy,et al.  Failure-tolerant parallel programming and its supporting system architecture , 1976, AFIPS '76.

[89]  B. Littlewood.  Software Reliability Model for Modular Program Structure , 1979, IEEE Transactions on Reliability.

[90]  H E Willman,et al.  Software Systems Reliability: A Raytheon Project History. , 1977 .

[91]  Martin L. Shooman,et al.  Probabilistic Models for Software reliability Prediction , 1972, Statistical Computer Performance Evaluation.