| 1993 | A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems. James C. Corbett, George S. Avrunin |
| 1993 | Abstract Analysis with Aspect. Daniel Jackson |
| 1993 | An Information Flow Model of Fault Detection. Margaret C. Thompson, Debra J. Richardson, Lori A. Clarke |
| 1993 | An Integrated General Purpose Automated Test Environment. Peter A. Vogel |
| 1993 | Analyzing Refinements of State Based Specifications: The Case of TB Nets. Miguel Felder, Carlo Ghezzi, Mauro Pezzè |
| 1993 | Analyzing Timing Requirements. Joanne M. Atlee, John D. Gannon |
| 1993 | Designing Programs to Check Their Work (Abstract). Manuel Blum |
| 1993 | Dynamic Impact Analysis: A Cost-Effective Technique to Enforce Error-Propagation. Tarak Goradia |
| 1993 | Efficient Construction of Program Dependence Graphs. Mary Jean Harrold, Brian A. Malloy, Gregg Rothermel |
| 1993 | Exploitation of Software Test Technology (Abstract). Edward F. Miller |
| 1993 | Faults on Its Sleeve: Amplifying Software Reliability Testing. Richard G. Hamlet, Jeffrey M. Voas |
| 1993 | Implementation-Based Analysis and Testing of Prolog Programs. Fevzi Belli, Oliver Jack |
| 1993 | Improved Serial Algorithms for Mutation Analysis. Stewart N. Weiss, Vladimir N. Fleyshgakker |
| 1993 | Load Testing Software Using Deterministic State Testing. Alberto Avritzer, Brian Larson |
| 1993 | Metric-Driven Reengineering for Static Concurrency Analysis. David L. Levine, Richard N. Taylor |
| 1993 | Mutation Analysis Using Mutant Schemata. Roland H. Untch, A. Jefferson Offutt, Mary Jean Harrold |
| 1993 | Proceedings of the 1993 International Symposium on Software Testing and Analysis, ISSTA 1993, Cambridge, MA, USA, June 28-30, 1993 Thomas J. Ostrand, Elaine J. Weyuker |
| 1993 | STATEMATE Applied to Statistical Software Testing. Pascale Thévenod-Fosse, Hélène Waeselynck |
| 1993 | Specifying Operational Profiles for Modules. Denise M. Woit |
| 1993 | Structured IV&V for the Space Shuttle Flight Software. Ronald W. Modes |
| 1993 | Test Template Framework: A Specification-Based Testing Case Study. Phil Stocks, David A. Carrington |
| 1993 | The Composability of ASTRAL Realtime Specifications. Alberto Coen-Porisini, Richard A. Kemmerer |
| 1993 | Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz |