| 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 | Defect reduction in VSE-methodology and results. | H. Buczilowski |
| 1995 | A test coverage notion for logic programming. | Fevzi Belli, Oliver Jack |
| 1995 | Systems specification, analysis, and validation by means of timed predicate/transition nets and logic programming. | Fevzi Belli, Javier Dreyer |
| 1995 | BNR/NORTEL: path to improve product quality, reliability and customer satisfaction. | Walter Baziuk |
| 1995 | Dependable computing depends on structured fault tolerance. | Algirdas Avizienis |
| 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 | Fault localization using execution slices and dataflow tests. | Hiralal Agrawal, Joseph R. Horgan, Saul London, W. Eric Wong |
| 1995 | An additive reliability model for the analysis of modular software failure data. | Min Xie, Claes Wohlin |
| 1994 | Effect of test set size and block coverage on the fault detection effectiveness. | W. Eric Wong, Joseph R. Horgan, Saul London, Aditya P. Mathur |
| 1994 | A framework for reliability estimation. | Denise M. Woit |
| 1994 | Assessing the dynamic strength of software systems using interference analysis. | James O. Wilder |
| 1994 | Empirical studies of predicate-based software testing. | Mladen A. Vouk, Kuo-Chung Tai, Amit M. Paradkar |
| 1994 | Putting assertions in their place. | Jeffrey M. Voas, Keith W. Miller |
| 1994 | FIABILOG: a software reliability tool and its application to space projects. | Frdrique Valle, A. Ragot |
| 1994 | Fault modeling using the program dependence graph. | Kanupriya Tewary, Mary Jean Harrold |
| 1994 | A generalized software reliability process simulation technique and tool. | Robert C. Tausworthe, Michael R. Lyu |
| 1994 | More efficient software testing through the application of design of experiments (DOE). | Tim Raske, Martin Marietta |
| 1994 | CLAIRE: an event-driven simulation tool for testing software. | Jacques Raguideau, Dominique Schoen, Jean-Yves Henry, Jacques Boulc'h |
| 1994 | An automated environment for software testing and reliability estimation. | Staffan Pernler, Niclas Stahl |
| 1994 | Reliability growth modelling of software for process control systems. | Alberto Pasquini |
| 1994 | Testing synchronous critical software. | Farid Ouabdesselam, Ioannis Parissis |
| 1994 | Sensitivity of field failure intensity to operational profile errors. | John D. Musa |
| 1994 | Adjusting measured field failure intensity for operational profile variation. | John D. Musa |
| 1994 | A process for software requirements safety analysis. | Ramin Mojdehbakhsh, Satish Subramanian, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Lynn Elliott |