Table of Contents

• The software reliability gameRuth M. Davis. 1 [doi]
• Guarded commands, non-determinacy and a calculus for the derivation of programsEdsger W. Dijkstra. 2 [doi]
• Managing the development of reliable softwareR. D. Williams. 3-8 [doi]
• Large-scale reliable software: Recent experience at bell labsVictor A. Vyssotsky. 9 [doi]
• The impact of language design on the production of reliable softwareJohn D. Gannon, James J. Horning. 10-22 [doi]
• An assessment of the programming language PASCALNiklaus Wirth. 23-30 [doi]
• On the problem of uniform references to data structuresCharles M. Geschke, James G. Mitchell. 31-42 [doi]
• Organizing tests during software evolutionA. Cicu, Marco Maiocchi, Roberto Polillo, A. Sardoni. 43-50 [doi]
• Automated generation of testcase datasetsEdward F. Miller Jr., R. A. Melton. 51-58 [doi]
• New assertion concepts for self-metric software validationLeon G. Stucki, Gary L. Foshee. 59-71 [doi]
• Specification techniques for data abstractionsBarbara Liskov, Stephen N. Zilles. 72-87 [doi]
• Knowledge about programs: A model and case studySusan L. Gerhart. 88-95 [doi]
• An approach to compiler correctnessLaurian M. Chirica, David F. Martin. 96-103 [doi]
• Design verification techniques - a reviewJ.-C. Rault. 104 [doi]
• Some experience with automated aids to the design of large-scale reliable softwareBarry W. Boehm, Robert K. McClean, D. B. Urfrig. 105-113 [doi]
• Programming-in-the large versus programming-in-the-smallFrank DeRemer, Hans H. Kron. 114-121 [doi]
• Reliable hardware-software architectureWilliam A. Wulf. 122-130 [doi]
• Automated aids fob reliable softwareDonald J. Reifer. 131-142 [doi]
• Towards automatic debugging of programsShmuel Katz, Zohar Manna. 143-155 [doi]
• A methodology for verifying programsFriedrich W. von Henke, David C. Luckham. 156-164 [doi]
• Finding Invariant assertions for proving programsMichel Caplain. 165-171 [doi]
• Structured programming in a production programming environmentF. Terry Baker. 172-185 [doi]
• A system for reliable engineering softwareL. M. Culpepper. 186-192 [doi]
• The Mythical Man-MonthFrederick P. Brooks Jr.. 193 [doi]
• "Software reliability in online real time environment"Isao Miyamoto. 194-203 [doi]
• A reliability model for Markov structured softwareBev Littlewood. 204-207 [doi]
• A many-state Markov model for the estimation and prediction of computer software performance parametersAshok K. Trivedi, Martin L. Shooman. 208-220 [doi]
• Finite state modelling in program developmentPeter Henderson 0001. 221-227 [doi]
• A new approach to program testingJames C. King. 228-233 [doi]
• SELECT - a formal system for testing and debugging programs by symbolic executionRobert S. Boyer, Bernard Elspas, Karl N. Levitt. 234-245 [doi]
• Quantitative aspects of software validationRaymond J. Rubey. 246-251 [doi]
• Reliability experience with Chi/OSWilliam C. Lynch, John W. Langner, Marvin S. Schwartz. 252-259 [doi]
• Maintenance of the computer sciences teleprocessing systemD. E. W. Bucher. 260-266 [doi]
• On attaining reliable software for a secure operating systemLawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena. 267-284 [doi]
• Structured specification of a Security KernelKenneth G. Walter, Samuel I. Schaen, William F. Ogden, William C. Rounds, D. G. Shumway, D. D. Schaeffer, K. J. Biba, Franklyn T. Bradshaw, S. R. Ames, J. M. Gilligan. 285-293 [doi]
• A verifiable protection systemGerald J. Popek, Charles S. Kline. 294-304 [doi]
• The purpose of concurrent PascalPer Brinch Hansen. 305-309 [doi]
• A structured specification of a hierarchical operating systemAshok R. Saxena, Thomas H. Bredt. 310-318 [doi]
• Constructing correct and efficient concurrent programsMichel Sintzoff, Axel van Lamsweerde. 319-326 [doi]
• An analysis of errors and their causes in system programsAlbert Endres. 327-336 [doi]
• Analysis of error processes in computer softwareNorman F. Schneidewind. 337-346 [doi]
• Types, distribution, and test and correction times for programming errorsMartin L. Shooman, M. I. Bolsky. 347-357 [doi]
• The influence of software structure on reliabilityDavid Lorge Parnas. 358-362 [doi]
• How to write correct programs and know itHarlan D. Mills. 363-370 [doi]
• Implementation of the Alpha-6 programming systemA. O. Buda, A. A. Granovaky, Andrei P. Ershov. 371-381 [doi]
• Testing large software with automated software evaluation systemsC. V. Ramamoorthy, Siu-Bun F. Ho. 382-394 [doi]
• Software design validation toolLoren C. Carpenter, Leonard L. Tripp. 395-400 [doi]
• The effect of certain modular design principles on testabilityN. P. Edwards. 401-410 [doi]
• Provable programmingDonald I. Good. 411-419 [doi]
• Verifying programs which operate on data structuresMark S. Laventhal. 420-426 [doi]
• Proving structured programs correct, level by levelR. Infante, U. Montanary. 427-436 [doi]
• System structure for software fault toleranceBrian Randell. 437-449 [doi]
• Design of self-checking softwareStephen S. Yau, R. C. Cheung. 450-455 [doi]
• Fault-tolerance and fault-intolerance: Complementary approaches to reliable computingAlgirdas Avizienis. 458-464 [doi]
• Some transformations for developing recursive programsRod M. Burstall, John Darlington. 465-472 [doi]
• Verifying programs by algebraic and logical reductionNorihisa Suzuki. 473-481 [doi]
• An interactive program verification systemDonald I. Good, Ralph L. London, W. W. Bledsoe. 482-492 [doi]
• Toward a theory of test data selectionJohn B. Goodenough 0002, Susan L. Gerhart. 493-510 [doi]
• On the connections between range of variable and control structure testingHermann Kopetz. 511-517 [doi]
• Testing for software reliabilityJohn R. Brown, Myron Lipow. 518-527 [doi]
• Data reliabilityC. A. R. Hoare. 528-533 [doi]
• A view of program verificationRalph L. London. 534-545 [doi]
• Correctness concerns and, among other things, why they are resentedEdsger W. Dijkstra. 546 [doi]