| 1996 | A Logic-Model Semantics for SCR Software Requirements. Joanne M. Atlee, Michael A. Buckley |
| 1996 | A Semantic Model of Program Faults. A. Jefferson Offutt, Jane Huffman Hayes |
| 1996 | An Approach to Verification and Validation of a Reliable Multicasting Protocol. John R. Callahan, Todd L. Montgomery |
| 1996 | An Efficient State Space Generation for Analysis of Real-Time Systems. Inhye Kang, Insup Lee |
| 1996 | An Incremental Approach to Structural Testing of Concurrent Software. Pramod V. Koppol, Kuo-Chung Tai |
| 1996 | Automated Test Data Generation for Programs with Procedures. Bogdan Korel |
| 1996 | Beyond Traditional Program Slicing. Anthony M. Sloane, Jason Holdsworth |
| 1996 | Compositional Verification by Model Checking for Counter-Examples. Tevfik Bultan, Jeffrey Fischer, Richard Gerber |
| 1996 | Constructing Abstract Models of Concurrent Real-Time Software. James C. Corbett |
| 1996 | Critical Slicing for Software Fault Localization. Richard A. DeMillo, Hsin Pan, Eugene H. Spafford |
| 1996 | Daistish: Systematic Algebraic Testing for OO Programs in the Presence of Side-effects. Merlin Hughes, P. David Stotts |
| 1996 | Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Daniel Jackson, Craig Damon |
| 1996 | Experiences and Lessons from the Analysis of TCAS II. Mats Per Erik Heimdahl |
| 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 | Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro |
| 1996 | Generation of Multi-Formalism State-Space Analysis Tools. Mauro Pezzè, Michal Young |
| 1996 | Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs. A. T. Chamillard, Lori A. Clarke |
| 1996 | Issues in the Full Scale Use of Formal Methods for Automated Testing. James L. Crowley, James F. Leathrum, K. A. Liburdy |
| 1996 | Linear and Structural Event Sequence Analysis. William E. Howden, G. M. Shi |
| 1996 | Predicting Dependability by Testing. Richard G. Hamlet |
| 1996 | Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996 Steve J. Zeil, Will Tracz |
| 1996 | Reachability Analysis of Feature Interactions: A Progress Report. Keith P. Pomakis, Joanne M. Atlee |
| 1996 | Separate Computation of Alias Information for Reuse. Mary Jean Harrold, Gregg Rothermel |
| 1996 | Software Error Analysis: A Real Case Study Involving Real Faults and Mutations. Muriel Daran, Pascale Thévenod-Fosse |
| 1996 | Structural Specification-Based Testing with ADL. Juei Chang, Debra J. Richardson, Sriram Sankar |
| 1996 | Test and Analysis of Software Architectures. Will Tracz |
| 1996 | The Path-Wise Approach to Data Flow Testing with Pointer Variables. Delia I. S. Marx, Phyllis G. Frankl |
| 1996 | Towards a Structural Load Testing Tool. Cheer-Sun D. Yang, Lori L. Pollock |
| 1996 | Unconstrained Duals and Their Use in Achieving All-Uses Coverage. Martina Marré, Antonia Bertolino |
| 1996 | Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. Patrice Godefroid, Doron A. Peled, Mark G. Staskauskas |
| 1996 | Using Perturbation Analysis to Measure Variation in the Information Content of Test Sets. Larry J. Morell, Branson W. Murrill |
| 1996 | Why State-of-the-Art is not State-of-the-Practice (Panel Abstract). Richard Denney, Richard A. Kemmerer, Nancy G. Leveson, Alberto Savoia |