Table of Contents

• Dependability of computer systems: concepts, limits, improvementsJean-Claude Laprie. 2-11 [doi]
• An integrated approach for criticality predictionChristof Ebert, Thomas Liedtke. 14-23 [doi]
• Detection of fault-prone program modules in a very large telecommunications systemTaghi M. Khoshgoftaar, Edward B. Allen, Kalai Kalaichelvan, Nishith Goel, John P. Hudepohl, Jean Mayrand. 24-33 [doi]
• Analysis of review's effectiveness based on software metricsYasunari Takagi, Toshifumi Tanaka, Naoki Niihara, Keishi Sakamoto, Shinji Kusumoto, Tohru Kikuno. 34-39 [doi]
• Analysis of failures in the Tandem NonStop-UX Operating SystemAnshuman Thakur, Ravishankar K. Iyer, Luke T. Young, Inhwan Lee. 40-50 [doi]
• An experience report on requirements reliability engineering using formal methodsDavid Hamilton, Richard Covington, Alice T. Lee. 52-57 [doi]
• The role of testing in the B formal development processHélène Waeselynck, Jean-Louis Boulanger. 58-67 [doi]
• Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programmingFevzi Belli, Javier Dreyer. 68-77 [doi]
• An approach to safety and correctness verification of software design specificationEun-Mi Kim, Shinji Kusumoto, Tohru Kikuno. 78-83 [doi]
• Antirandom testing: getting the most out of black-box testingYashwant K. Malaiya. 86-95 [doi]
• System testing with an AI plannerRichard T. Mraz, Adele E. Howe, Anneliese von Mayrhauser, Li Li. 96-105 [doi]
• Test generation for Boolean expressionsAmit M. Paradkar, Kuo-Chung Tai. 106-115 [doi]
• On the correlation between code coverage and software reliabilityFabio Del Frate, Praerit Garg, Aditya P. Mathur, Alberto Pasquini. 124-132 [doi]
• A test coverage notion for logic programmingFevzi Belli, Oliver Jack. 133-142 [doi]
• Fault localization using execution slices and dataflow testsHiralal Agrawal, Joseph R. Horgan, Saul London, W. Eric Wong. 143-151 [doi]
• Software Reliability in COTS-Based SystemsP. K. Mangan, Bryant Cruse, J. P. VanBlois, Haim Levendel, Jean-Michel Nogue. 154-157 [doi]
• Dependable computing depends on structured fault toleranceAlgirdas Avizienis. 158-168 [doi]
• Dependability of modular software in a multiuser operational environmentJ. F. Meyer, Bev Littlewood, David Wright. 170-179 [doi]
• Analysis of software rejuvenation using Markov Regenerative Stochastic Petri NetSachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi. 180-187 [doi]
• An additive reliability model for the analysis of modular software failure dataMin Xie 0001, Claes Wohlin. 188-194 [doi]
• Hyper-geometric distribution software reliability growth model with imperfect debuggingRong-Huei Hou, Sy-Yen Kuo, Yi-Ping Chang. 195-200 [doi]
• A new method for increasing the reliability of multiversion software systems using software breedingKazuyuki Shima, Ken-ichi Matsumoto, Koji Torii. 202-208 [doi]
• Performability modeling of N version programming techniqueKaterina Goseva-Popstojanova, Aksenti Grnarov. 209-218 [doi]
• The effect of testing on the reliability of single version and 1-out-of-2 software systemsKrassimir Djambazov, Peter T. Popov. 219-228 [doi]
• Predicting software's minimum-time-to-hazard and mean-time-to-hazard for rare input eventsJeffrey M. Voas, Keith W. Miller. 229-238 [doi]
• An assessment of software quality in a C++ environmentRobert M. Szabo, Taghi M. Khoshgoftaar. 240-249 [doi]
• Software reliability growth analysis: application of NHPP models and its evaluationTakamasa Nara, Masahiro Nakata, Akihiro Ooishi. 250-255 [doi]
• BNR/NORTEL: path to improve product quality, reliability and customer satisfactionWalter Baziuk. 256-262 [doi]
• Software Error Data Collection and Analysis in IndustryM. Ohba. 270-273 [doi]
• Defect reduction in VSE-methodology and resultsH. Buczilowski. 274-277 [doi]
• Towards a unified approach to the testability of co-designed systemsYves Le Traon, Chantal Robach. 278-285 [doi]
• Constructing operational profiles for synchronous critical softwareFarid Ouabdesselam, Ioannis Parissis. 286-293 [doi]
• Dependability of safety-critical systems: contribution of the synchronous approachD. Pérez. 296-301 [doi]
• An experiment in determining software reliability model applicabilityAllen P. Nikora, Michael R. Lyu. 304-313 [doi]
• An approach to automatic detection of software failuresM. Hlady, R. Kovacevic, J. Jenny Li, B. R. Pekilis, D. Prairie, Tony Savor, Rudolph E. Seviora, D. A. Simser, Alexandre Vorobiev. 314-323 [doi]
• Parameter estimation of hyper-geometric distribution software reliability growth model by genetic algorithmsTakashi Minohara, Yoshihiro Tohma. 324-329 [doi]
• MICOM IV&V planning approach and experience involving software reliabilityRobert E. Loesh, Arthur B. Gosnell, James D. Johannes, Richard M. Wyskida, Stephen E. Zutaut. 330-336 [doi]
• A software reliability engineering success story. AT&T's Definity PBXB. D. Jensen. 338-343 [doi]
• Telecommunications network operations systems: experiences in software reliability engineeringD. A. Kropfl, Willa K. Ehrlich. 344-349 [doi]
• Software reliability engineering study of a large-scale telecommunications software systemD. W. Carman, Adrian A. Dolinsky, Michael R. Lyu, Jinsong S. Yu. 350-359 [doi]
• An analysis of system level software availability during testPaul H. Franklin. 360-365 [doi]
• A data analysis and representation engine to support software reliability engineeringMichael Carr. 368-374 [doi]
• ROBUST: a next generation software reliability engineering toolMichael Naixin Li, Yashwant K. Malaiya. 375-380 [doi]
• M-elopee: a CASE tool for software reliability studyF. Vallee, B. Gayet, Henri Derriennic, Gilbert Le Gall. 381-386 [doi]
• A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logicAmmar Attoui, David R. C. Hill. 387-392 [doi]