| 1994 | 5th International Symposium on Software Reliability Engineering, ISSRE 1994, Monterey, CA, USA, November 6-9, 1994 |
| 1994 | A case study to investigate sensitivity of reliability estimates to errors in operational profile. Mei-Hwa Chen, Aditya P. Mathur, Vernon Rego |
| 1994 | A framework for reliability estimation. Denise M. Woit |
| 1994 | A generalized software reliability process simulation technique and tool. Robert C. Tausworthe, Michael R. Lyu |
| 1994 | A process for software requirements safety analysis. Ramin Mojdehbakhsh, Satish Subramanian, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai, Lynn Elliott |
| 1994 | Adjusting measured field failure intensity for operational profile variation. John D. Musa |
| 1994 | An automated environment for software testing and reliability estimation. Staffan Pernler, Niclas Stahl |
| 1994 | An exploratory analysis of system test data. R. Follenweider, Richard M. Karcich, George J. Knafl |
| 1994 | Applying various learning curves to hyper-geometric distribution software reliability growth model. Rong-Huei Hou, Sy-Yen Kuo, Yi-Ping Chang |
| 1994 | Assessing the dynamic strength of software systems using interference analysis. James O. Wilder |
| 1994 | Assessment of a sampling method for measuring safety-critical software reliability. Farokh B. Bastani, Alberto Pasquini |
| 1994 | CLAIRE: an event-driven simulation tool for testing software. Jacques Raguideau, Dominique Schoen, Jean-Yves Henry, Jacques Boulc'h |
| 1994 | Connecting test coverage to software dependability. Dick Hamlet |
| 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 | Empirical studies of predicate-based software testing. Mladen A. Vouk, Kuo-Chung Tai, Amit M. Paradkar |
| 1994 | Estimating the software reliability of smoothly degrading systems. Alberto Avritzer, Elaine J. Weyuker |
| 1994 | Experimental analysis of models for correlation in multiversion software. Joanne Bechta Dugan |
| 1994 | FIABILOG: a software reliability tool and its application to space projects. Frédérique Vallée, A. Ragot |
| 1994 | Fault modeling using the program dependence graph. Kanupriya Tewary, Mary Jean Harrold |
| 1994 | Identifying risk using ODC based growth models. Ram Chillarege, Shriram Biyani |
| 1994 | Methodology of independent software nuclear safety analysis. Edward A. Addy |
| 1994 | Modelling an imperfect debugging phenomenon with testing effort. P. K. Kapur, P. S. Grover, S. Younes |
| 1994 | More efficient software testing through the application of design of experiments (DOE). Tim Raske, Martin Marietta |
| 1994 | Mutation analysis testing for finite state machines. Sandra Camargo Pinto Ferraz Fabbri, Márcio Eduardo Delamaro, José Carlos Maldonado, Paulo César Masiero |
| 1994 | On input profile selection for software testing. Michael Naixin Li, Yashwant K. Malaiya |
| 1994 | On the impact of software product dissimilarity on software quality models. Taghi M. Khoshgoftaar, David L. Lanning |
| 1994 | Putting assertions in their place. Jeffrey M. Voas, Keith W. Miller |
| 1994 | Reliability growth modelling of software for process control systems. Alberto Pasquini |
| 1994 | Sensitivity of field failure intensity to operational profile errors. John D. Musa |
| 1994 | Software reliability: to use or not to use? Michael R. Lyu |
| 1994 | Software trustability. William E. Howden, Yudong Huang |
| 1994 | Some effects of fault recovery order on software reliability models. Mary Ann Hoppa, Larry W. Wilson |
| 1994 | System reliability policy at Motorola Codex. Alex Elentukh |
| 1994 | Temporal complexity and software faults. Frank D. Anger, John C. Munson, Rita V. Rodríguez |
| 1994 | Testing applications using domain based testing and Sleuth. Anneliese von Mayrhauser, Jeff Walls, Richard T. Mraz |
| 1994 | Testing synchronous critical software. Farid Ouabdesselam, Ioannis Parissis |
| 1994 | The Automatic Efficient Test Generator (AETG) system. David M. Cohen, Siddhartha R. Dalal, A. Kajla, Gardner C. Patton |
| 1994 | The relationship between test coverage and reliability. Yashwant K. Malaiya, Michael Naixin Li, James M. Bieman, Rick Karcich, Bob Skibbe |
| 1994 | Using formal methods to validate C programs. Christian Antoine, Patrick Baudin, J. M. Collart, Jacques Raguideau, A. Trotin |
| 1994 | V&V in defense and commercial projects. Herbert Hecht, Myron Hecht |