| 1996 | An Incremental Approach to Structural Testing of Concurrent Software. | Pramod V. Koppol, Kuo-Chung Tai |
| 1996 | An Efficient State Space Generation for Analysis of Real-Time Systems. | Inhye Kang, Insup Lee |
| 1996 | Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. | Daniel Jackson, Craig Damon |
| 1996 | Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects. | Merlin Hughes, P. David Stotts |
| 1996 | Linear and Structural Event Sequence Analysis. | William E. Howden, G. M. Shi |
| 1996 | Experiences and Lessons from the Analysis of TCAS II. | Mats Per Erik Heimdahl |
| 1996 | Separate Computation of Alias Information for Reuse. | Mary Jean Harrold, Gregg Rothermel |
| 1996 | Predicting Dependability by Testing. | Richard G. Hamlet |
| 1996 | Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. | Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas |
| 1996 | Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). | Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia |
| 1996 | Critical Slicing for Software Fault Localization. | Richard A. DeMillo, Hsin Pan, Eugene H. Spafford |
| 1996 | Software Error Analysis: A Real Case Study Involving Real Faults and Mutations. | Muriel Daran, Pascale Thvenod-Fosse |
| 1996 | Issues in the Full Scale Use of Formal Methods for Automated Testing. | James L. Crowley, James F. Leathrum, K. A. Liburdy |
| 1996 | Constructing Abstract Models of Concurrent Real-Time Software. | James C. Corbett |
| 1996 | Structural Specification-Based Testing with ADL. | Juei Chang, Debra J. Richardson, Sriram Sankar |
| 1996 | Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. | A. T. Chamillard, Lori A. Clarke |
| 1996 | An Approach to Verification and Validation of a Reliable Multicasting Protocol. | John R. Callahan, Todd L. Montgomery |
| 1996 | Compositional Verification by Model Checking for Counter-Examples. | Tevfik Bultan, Jeffrey Fischer, Richard Gerber |
| 1996 | Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS. | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
| 1996 | A Logic-Model Semantics for SCR Software Requirements. | Joanne M. Atlee, Michael A. Buckley |
| 1994 | State-Space Analysis as an Aid to Testing (Abstract). | Michal Young |
| 1994 | TOBAC: A Test Case Browser for Testing Object-Oriented Software. | Ernst Siepmann, A. Richard Newton |
| 1994 | Views on Software Testability (Panel Abstract). | Timothy J. Shimeall, Michael Friedman, John Chilenski, Jeffrey M. Voas |
| 1994 | Selecting Tests and Identifying Test Coverage Requirements for Modified Software. | Gregg Rothermel, Mary Jean Harrold |
| 1994 | TAOS: Testing with Analysis and Oracle Support. | Debra J. Richardson |