| 1994 | Debugging Optimized Code Via Tailoring (Abstract). | Lori L. Pollock, Mary P. Bivens, Mary Lou Soffa |
| 1994 | Generating a Test Oracle from Program Documentation (Work in Progress). | Dennis K. Peters, David Lorge Parnas |
| 1994 | An Experimental Approach to Analyzing Software Semantics Using Error Flow Information (Abstract). | Branson W. Murrill, Larry J. Morell |
| 1994 | The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (Abstract). | Leo Marcus |
| 1994 | Forward Computation of Dynamic Program Slices. | Bogdan Korel, Satish Yalamanchili |
| 1994 | Testing a Safety-Critical Application. | John C. Knight, Aaron G. Cass, Antonio M. Fernndez, Kevin G. Wika |
| 1994 | Visualization using Timelines. | Gerald M. Karam |
| 1994 | An Automated Tool for Analyzing Completeness of Equational Specifications. | Deepak Kapur |
| 1994 | Test Data Generation and Feasible Path Analysis. | Robert Jasper, Mike Brennan, Keith E. Williamson, Bill Currier, David Zimmerman |
| 1994 | Confidence Oriented Software Dependability Measurement (Abstract). | William E. Howden, Yudong Huang |
| 1994 | Applications of Feasible Path Analysis to Program Testing. | Allen Goldberg, Tie-Cheng Wang, David Zimmerman |
| 1994 | The All Program Functions Criterion for Revealing Computation Errors (Abstract). | Istvn Forgcs |
| 1994 | Efficient Mutation Analysis: A New Approach. | Vladimir N. Fleyshgakker, Stewart N. Weiss |
| 1994 | Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications. | Jeffrey Douglas, Richard A. Kemmerer |
| 1994 | Testing Races in Parallel Programs with an OtOt Strategy. | Suresh K. Damodaran-Kamal, Joan M. Francioni |
| 1994 | An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs. | James C. Corbett |
| 1994 | Automatic Verification of Requirements Implementation. | Marsha Chechik, John D. Gannon |
| 1994 | Analysis of Real-Time Programs with Simple Time Petri Nets. | Ugo A. Buy, Robert H. Sloan |
| 1994 | Protocol Testing: Review of Methods and Relevance for Software Testing. | Gregor von Bochmann, Alexandre Petrenko |
| 1994 | A Meaningful Bound for Branch Testing (Abstract). | Antonia Bertolino, Martina Marr |
| 1994 | Generating Test Suites for Software Load Testing. | Alberto Avritzer, Elaine J. Weyuker |
| 1993 | Specifying Operational Profiles for Modules. | Denise M. Woit |
| 1993 | Improved Serial Algorithms for Mutation Analysis. | Stewart N. Weiss, Vladimir N. Fleyshgakker |
| 1993 | An Integrated General Purpose Automated Test Environment. | Peter A. Vogel |
| 1993 | Mutation Analysis Using Mutant Schemata. | Roland H. Untch, A. Jefferson Offutt, Mary Jean Harrold |