| 1993 | An Information Flow Model of Fault Detection. | Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke |
| 1993 | STATEMATE Applied to Statistical Software Testing. | Pascale Thvenod-Fosse, Hlne Waeselynck |
| 1993 | Test Template Framework: A Specification-Based Testing Case Study. | Phil Stocks, David A. Carrington |
| 1993 | Structured IV&V for the Space Shuttle Flight Software. | Ronald W. Modes |
| 1993 | Exploitation of Software Test Technology (Abstract). | Edward F. Miller |
| 1993 | Metric-Driven Reengineering for Static Concurrency Analysis. | David L. Levine, Richard N. Taylor |
| 1993 | Abstract Analysis with Aspect. | Daniel Jackson |
| 1993 | Efficient Construction of Program Dependence Graphs. | Mary Jean Harrold, Brian A. Malloy, Gregg Rothermel |
| 1993 | Faults on Its Sleeve: Amplifying Software Reliability Testing. | Richard G. Hamlet, Jeffrey M. Voas |
| 1993 | Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation. | Tarak Goradia |
| 1993 | Analyzing Refinements of State Based Specifications: The Case of TB Nets. | Miguel Felder, Carlo Ghezzi, Mauro Pezz |
| 1993 | Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. | Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz |
| 1993 | A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. | James C. Corbett, George S. Avrunin |
| 1993 | The Composability of ASTRAL Realtime Specifications. | Alberto Coen-Porisini, Richard A. Kemmerer |
| 1993 | Designing Programs to Check Their Work (Abstract). | Manuel Blum |
| 1993 | Implementation-Based Analysis and Testing of Prolog Programs. | Fevzi Belli, Oliver Jack |
| 1993 | Load Testing Software Using Deterministic State Testing. | Alberto Avritzer, Brian Larson |
| 1993 | Analyzing Timing Requirements. | Joanne M. Atlee, John D. Gannon |
| 1991 | Formal Methods versus Software Engineering: Is There a Conflict? | William D. Young |
| 1991 | Compositional Reachability Analysis Using Process Algebra. | Wei Jen Yeh, Michal Young |
| 1991 | Comparison of Program Testing Strategies. | Elaine J. Weyuker, Stewart N. Weiss, Richard G. Hamlet |
| 1991 | Run-Time Consistency Checking of Algebraic Specifications. | Sriram Sankar |
| 1991 | Reliability, Sampling, and Algorithmic Randomness. | Andy Podgurski |
| 1991 | Interprocedural Def-Use Associations in C Programs. | Hemant D. Pande, William Landi |
| 1991 | Data Flow-Based Test Adequacy Analysis for Languages with Pointers. | Thomas J. Ostrand, Elaine J. Weyuker |