| 1995 | A data analysis and representation engine to support software reliability engineering. Michael Carr |
| 1995 | A new method for increasing the reliability of multiversion software systems using software breeding. Kazuyuki Shima, Ken-ichi Matsumoto, Koji Torii |
| 1995 | A software reliability engineering success story. AT&T's Definity PBX. B. D. Jensen |
| 1995 | A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic. Ammar Attoui, David R. C. Hill |
| 1995 | A test coverage notion for logic programming. Fevzi Belli, Oliver Jack |
| 1995 | An additive reliability model for the analysis of modular software failure data. Min Xie, Claes Wohlin |
| 1995 | An analysis of system level software availability during test. Paul H. Franklin |
| 1995 | An approach to automatic detection of software failures. M. Hlady, R. Kovacevic, J. Jenny Li, Barry R. Pekilis, D. Prairie, Tony Savor, Rudolph E. Seviora, D. A. Simser, Alexandre Vorobiev |
| 1995 | An approach to safety and correctness verification of software design specification. Eun Mi Kim, Shinji Kusumoto, Tohru Kikuno |
| 1995 | An assessment of software quality in a C++ environment. Robert M. Szabo, Taghi M. Khoshgoftaar |
| 1995 | An experience report on requirements reliability engineering using formal methods. David Hamilton, Richard Covington, Alice T. Lee |
| 1995 | An experiment in determining software reliability model applicability. Allen P. Nikora, Michael R. Lyu |
| 1995 | An integrated approach for criticality prediction. Christof Ebert, Thomas Liedtke |
| 1995 | Analysis of failures in the Tandem NonStop-UX Operating System. Anshuman Thakur, Ravishankar K. Iyer, Luke T. Young, Inhwan Lee |
| 1995 | Analysis of review's effectiveness based on software metrics. Yasunari Takagi, Toshifumi Tanaka, Naoki Niihara, Keishi Sakamoto, Shinji Kusumoto, Tohru Kikuno |
| 1995 | Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net. Sachin Garg, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi |
| 1995 | Antirandom testing: getting the most out of black-box testing. Yashwant K. Malaiya |
| 1995 | BNR/NORTEL: path to improve product quality, reliability and customer satisfaction. Walter Baziuk |
| 1995 | Constructing operational profiles for synchronous critical software. Farid Ouabdesselam, Ioannis Parissis |
| 1995 | Defect reduction in VSE-methodology and results. H. Buczilowski |
| 1995 | Dependability of computer systems: concepts, limits, improvements. Jean-Claude Laprie |
| 1995 | Dependability of modular software in a multiuser operational environment. John F. Meyer, Bev Littlewood, David Wright |
| 1995 | Dependability of safety-critical systems: contribution of the synchronous approach. D. Pérez |
| 1995 | Dependable computing depends on structured fault tolerance. Algirdas Avizienis |
| 1995 | Detection of fault-prone program modules in a very large telecommunications system. Taghi M. Khoshgoftaar, Edward B. Allen, Kalai Kalaichelvan, Nishith Goel, John P. Hudepohl, Jean Mayrand |
| 1995 | Fault localization using execution slices and dataflow tests. Hiralal Agrawal, Joseph R. Horgan, Saul London, W. Eric Wong |
| 1995 | Hyper-geometric distribution software reliability growth model with imperfect debugging. Rong-Huei Hou, Sy-Yen Kuo, Yi-Ping Chang |
| 1995 | M-elopee: a CASE tool for software reliability study. Frédérique Vallée, Bertrand Gayet, Henri Derriennic, Gilbert Le Gall |
| 1995 | MICOM IV&V planning approach and experience involving software reliability. Robert E. Loesh, Arthur B. Gosnell, James D. Johannes, Richard M. Wyskida, Stephen E. Zutaut |
| 1995 | On the correlation between code coverage and software reliability. Fabio Del Frate, Praerit Garg, Aditya P. Mathur, Alberto Pasquini |
| 1995 | Parameter estimation of hyper-geometric distribution software reliability growth model by genetic algorithms. Takashi Minohara, Yoshihiro Tohma |
| 1995 | Performability modeling of N version programming technique. Katerina Goseva-Popstojanova, Aksenti Grnarov |
| 1995 | Predicting software's minimum-time-to-hazard and mean-time-to-hazard for rare input events. Jeffrey M. Voas, Keith W. Miller |
| 1995 | ROBUST: a next generation software reliability engineering tool. Michael Naixin Li, Yashwant K. Malaiya |
| 1995 | Sixth International Symposium on Software Reliability Engineering, ISSRE 1995, Toulouse, France, October 24-27, 1995 |
| 1995 | Software Error Data Collection and Analysis in Industry. M. Ohba |
| 1995 | Software Reliability in COTS-Based Systems. P. K. Mangan, Bryant Cruse, J. P. VanBlois, Haim Levendel, Jean-Michel Nogue |
| 1995 | Software reliability engineering study of a large-scale telecommunications software system. D. W. Carman, Adrian A. Dolinsky, Michael R. Lyu, Jinsong S. Yu |
| 1995 | Software reliability growth analysis: application of NHPP models and its evaluation. Takamasa Nara, Masahiro Nakata, Akihiro Ooishi |
| 1995 | System testing with an AI planner. Richard T. Mraz, Adele E. Howe, Anneliese von Mayrhauser, Li Li |
| 1995 | Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming. Fevzi Belli, Javier Dreyer |
| 1995 | Telecommunications network operations systems: experiences in software reliability engineering. D. A. Kropfl, Willa K. Ehrlich |
| 1995 | Test generation for Boolean expressions. Amit M. Paradkar, Kuo-Chung Tai |
| 1995 | The effect of testing on the reliability of single version and 1-out-of-2 software systems. Krassimir Djambazov, Peter T. Popov |
| 1995 | The role of testing in the B formal development process. Hélène Waeselynck, Jean-Louis Boulanger |
| 1995 | Towards a unified approach to the testability of co-designed systems. Yves Le Traon, Chantal Robach |