| 1994 | Testing applications using domain based testing and Sleuth. | Anneliese von Mayrhauser, Jeff Walls, Richard T. Mraz |
| 1994 | The relationship between test coverage and reliability. | Yashwant K. Malaiya, Michael Naixin Li, James M. Bieman, Rick Karcich, Bob Skibbe |
| 1994 | Software reliability: to use or not to use? | Michael R. Lyu |
| 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 | Modelling an imperfect debugging phenomenon with testing effort. | P. K. Kapur, P. S. Grover, S. Younes |
| 1994 | Software trustability. | William E. Howden, Yudong Huang |
| 1994 | Applying various learning curves to hyper-geometric distribution software reliability growth model. | Rong-Huei Hou, Sy-Yen Kuo, Yi-Ping Chang |
| 1994 | Some effects of fault recovery order on software reliability models. | Mary Ann Hoppa, Larry W. Wilson |
| 1994 | V&V in defense and commercial projects. | Herbert Hecht, Myron Hecht |
| 1994 | Connecting test coverage to software dependability. | Dick Hamlet |
| 1994 | An exploratory analysis of system test data. | R. Follenweider, Richard M. Karcich, George J. Knafl |
| 1994 | Mutation analysis testing for finite state machines. | Sandra Camargo Pinto Ferraz Fabbri, Mrcio Eduardo Delamaro, Jos Carlos Maldonado, Paulo Csar Masiero |
| 1994 | System reliability policy at Motorola Codex. | Alex Elentukh |
| 1994 | Experimental analysis of models for correlation in multiversion software. | Joanne Bechta Dugan |
| 1994 | The Automatic Efficient Test Generator (AETG) system. | David M. Cohen, Siddhartha R. Dalal, A. Kajla, Gardner C. Patton |
| 1994 | Identifying risk using ODC based growth models. | Ram Chillarege, Shriram Biyani |
| 1994 | A case study to investigate sensitivity of reliability estimates to errors in operational profile. | Mei-Hwa Chen, Aditya P. Mathur, Vernon Rego |
| 1994 | Assessment of a sampling method for measuring safety-critical software reliability. | Farokh B. Bastani, Alberto Pasquini |
| 1994 | Estimating the software reliability of smoothly degrading systems. | Alberto Avritzer, Elaine J. Weyuker |
| 1994 | Using formal methods to validate C programs. | Christian Antoine, Patrick Baudin, J. M. Collart, Jacques Raguideau, A. Trotin |
| 1994 | Temporal complexity and software faults. | Frank D. Anger, John C. Munson, Rita V. Rodrguez |
| 1994 | Methodology of independent software nuclear safety analysis. | Edward A. Addy |
| 1993 | Robustness of optimum software release policies. | Ming Zhao, Min Xie |
| 1993 | The effect of correlated faults on software reliability. | Kang Wu, Yashwant K. Malaiya |