| 1996 | Panel: How Can Software Reliability Engineering (SRE) Help System Engineers and SofWare Architects? | William W. Everett, J. D. Muss, Willa K. Ehrlich, P. K. Mangan, J. D. Mum, Robert H. Yacobellis |
| 1996 | DQS's experience with SRE. | William W. Everett, J. M. Gobat |
| 1996 | Validating software architectures for high reliability. | Willa K. Ehrlich, R. Chan, W. J. Donnelly, H. H. Park, M. B. Saltzman, P. Verma |
| 1996 | Panel: Deploying SRE in Your Organization or Company. | Adrian A. Dolinsky, Dave Rentschler, Sue Steele, John A. Teresinski, Jim Widmaier |
| 1996 | Reliability and availability of a wide area network-based education system. | Paritosh Dixit, Mladen A. Vouk, Donald L. Bitzer, Christopher Alix |
| 1996 | Integration testing using interface mutation. | Mrcio Eduardo Delamaro, Jos Carlos Maldonado, Aditya P. Mathur |
| 1996 | On reducing the sensitivity of software reliability to variations in the operational profile. | Bojan Cukic, Farokh B. Bastani |
| 1996 | Sensitivity of reliability growth models to operational profile errors. | Adalberto Nobiato Crespo, Paolo Matrella, Alberto Pasquini |
| 1996 | Task decomposition testing and metrics for concurrent programs. | Chi-Ming Chung, Timothy K. Shih, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kuo |
| 1996 | Error injection aimed at fault removal in fault tolerance mechanisms-criteria for error selection using field data on software faults. | Jrgen Christmansson, P. Santhanam |
| 1996 | A replication technique based on a functional and attribute grammar computation model. | Adel Cherif, Masato Suzuki, Takuya Katayama |
| 1996 | A conservative theory for long term reliability growth prediction. | Peter G. Bishop, Robin E. Bloomfield |
| 1996 | Using fault injection to increase software test coverage. | James M. Bieman, Daniel Dreilinger, Lijun Lin |
| 1996 | Towards automation of checklist-based code-reviews. | Fevzi Belli, Radu Crisan |
| 1995 | The role of testing in the B formal development process. | Hlne Waeselynck, Jean-Louis Boulanger |
| 1995 | Predicting software's minimum-time-to-hazard and mean-time-to-hazard for rare input events. | Jeffrey M. Voas, Keith W. Miller |
| 1995 | M-elopee: a CASE tool for software reliability study. | Frdrique Valle, Bertrand Gayet, Henri Derriennic, Gilbert Le Gall |
| 1995 | Towards a unified approach to the testability of co-designed systems. | Yves Le Traon, Chantal Robach |
| 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 | An assessment of software quality in a C++ environment. | Robert M. Szabo, Taghi M. Khoshgoftaar |
| 1995 | A new method for increasing the reliability of multiversion software systems using software breeding. | Kazuyuki Shima, Ken-ichi Matsumoto, Koji Torii |
| 1995 | Dependability of safety-critical systems: contribution of the synchronous approach. | D. Prez |
| 1995 | Test generation for Boolean expressions. | Amit M. Paradkar, Kuo-Chung Tai |
| 1995 | Constructing operational profiles for synchronous critical software. | Farid Ouabdesselam, Ioannis Parissis |