| 1991 | How Strong is Weak Mutation? | A. Jefferson Offutt, Stephen D. Lee |
| 1991 | The Weak Mutation Hypothesis. | Brian Marick |
| 1991 | Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization. | Douglas L. Long, Lori A. Clarke |
| 1991 | Data Flow Coverage and the C Language. | Joseph Robert Horgan, Saul London |
| 1991 | The Effects of Optimizing Transformations on Data-Flow Adequate Test Sets. | Mary Jean Harrold |
| 1991 | Loop Monotonic Computations: An Approach for the Efficient Run-Time Detection of Races. | Rajiv Gupta, Madalene Spezialetti |
| 1991 | Executing Formal Specifications: The ASTRAL to TRIO Translation Approach. | Carlo Ghezzi, Richard A. Kennerer |
| 1991 | An Experimental Comparison of the Effectiveness of the All-Uses and All-Edges Adequacy Criteria. | Phyllis G. Frankl, Stewart N. Weiss |
| 1991 | Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework. | Evelyn Duesterwald, Mary Lou Soffa |
| 1991 | Case Studies on Testing Object-Oriented Programs. | Roong-Ko Doong, Phyllis G. Frankl |
| 1991 | Experiments with an Improved Constrained Expression Toolset. | George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden |
| 1991 | Dynamic Slicing in the Presence of Unconstrained Pointers. | Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford |
| 1989 | Integrated Concurrency Analysis in a Software Development Enviornment. | Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck |
| 1989 | Verified Compilation in micro-Gypsy. | William D. Young |
| 1989 | Reducing the Effects of Infeasible Paths in Branch Testing. | Derek F. Yates, Nicos Malevris |
| 1989 | Experimental Comparison of Three System Test Strategies Preliminary Report. | John H. Rowland, Y. Zuyuan |
| 1989 | Testing the Correctness of Tasking Supervisors with TSL Specifications. | David S. Rosenblum, David C. Luckham |
| 1989 | Approaches to Specification-Based Testing. | Debra J. Richardson, T. Owen O'Malley, C. Tittle |
| 1989 | Integrating Testing Techniques Through Process Programming. | Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil |
| 1989 | Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs. | Rami R. Razouk, Michael M. Gorlick |
| 1989 | The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance. | Andy Podgurski, Lori A. Clarke |
| 1989 | The Logic of Propagation in the Inscape Environment. | D. Perry |
| 1989 | Cesar: A Static Sequencing Constraint Analyzer. | Kurt M. Olender, Leon J. Osterweil |
| 1989 | The Coupling Effect: Fact or Fiction. | A. Jefferson Offutt |
| 1989 | A Practical Approach to Semantic Configuration Management. | Mark Moriconi |