| 1994 | A Meaningful Bound for Branch Testing (Abstract). Antonia Bertolino, Martina Marré |
| 1994 | An Automated Tool for Analyzing Completeness of Equational Specifications. Deepak Kapur |
| 1994 | An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. James C. Corbett |
| 1994 | An Experimental Approach to Analyzing Software Semantics Using Error Flow Information (Abstract). Branson W. Murrill, Larry J. Morell |
| 1994 | Analysis of Real-Time Programs with Simple Time Petri Nets. Ugo A. Buy, Robert H. Sloan |
| 1994 | Applications of Feasible Path Analysis to Program Testing. Allen Goldberg, Tie-Cheng Wang, David Zimmerman |
| 1994 | Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. Jeffrey Douglas, Richard A. Kemmerer |
| 1994 | Automatic Verification of Requirements Implementation. Marsha Chechik, John D. Gannon |
| 1994 | Confidence Oriented Software Dependability Measurement (Abstract). William E. Howden, Yudong Huang |
| 1994 | Debugging Optimized Code Via Tailoring (Abstract). Lori L. Pollock, Mary P. Bivens, Mary Lou Soffa |
| 1994 | Efficient Mutation Analysis: A New Approach. Vladimir N. Fleyshgakker, Stewart N. Weiss |
| 1994 | Forward Computation of Dynamic Program Slices. Bogdan Korel, Satish Yalamanchili |
| 1994 | Generating Test Suites for Software Load Testing. Alberto Avritzer, Elaine J. Weyuker |
| 1994 | Generating a Test Oracle from Program Documentation (Work in Progress). Dennis K. Peters, David Lorge Parnas |
| 1994 | Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, August 17-19, 1994 Thomas J. Ostrand |
| 1994 | Protocol Testing: Review of Methods and Relevance for Software Testing. Gregor von Bochmann, Alexandre Petrenko |
| 1994 | Selecting Tests and Identifying Test Coverage Requirements for Modified Software. Gregg Rothermel, Mary Jean Harrold |
| 1994 | State-Space Analysis as an Aid to Testing (Abstract). Michal Young |
| 1994 | TAOS: Testing with Analysis and Oracle Support. Debra J. Richardson |
| 1994 | TOBAC: A Test Case Browser for Testing Object-Oriented Software. Ernst Siepmann, A. Richard Newton |
| 1994 | Test Data Generation and Feasible Path Analysis. Robert Jasper, Mike Brennan, Keith E. Williamson, Bill Currier, David Zimmerman |
| 1994 | Testing Races in Parallel Programs with an OtOt Strategy. Suresh K. Damodaran-Kamal, Joan M. Francioni |
| 1994 | Testing a Safety-Critical Application. John C. Knight, Aaron G. Cass, Antonio M. Fernández, Kevin G. Wika |
| 1994 | The All Program Functions Criterion for Revealing Computation Errors (Abstract). István Forgács |
| 1994 | The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract). Leo Marcus |
| 1994 | Views on Software Testability (Panel Abstract). Timothy J. Shimeall, Michael Friedman, John Chilenski, Jeffrey M. Voas |
| 1994 | Visualization using Timelines. Gerald M. Karam |