| 1998 | On Random and Partition Testing. | Simeon C. Ntafos |
| 1998 | Automatic Interoperability Test Generation for Source-to-Source Translators. | Mark Molloy, Kristy Andrews, James Herren, David Cutler, Paul Del Vigna |
| 1998 | An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing. | Brian Mitchell, Steven J. Zeil |
| 1998 | Automated Regression Test Generation. | Bogdan Korel, Ali M. Al-Yami |
| 1998 | Computation of Interprocedural Control Dependence. | Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha |
| 1998 | The Most Influential Papers from the ISSTA Research Community (Panel). | Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson |
| 1998 | What Can We Learn by Testing a Program? | Richard G. Hamlet |
| 1998 | An Applicable Test Data Generation Algorithm for Domain Errors. | kos Hajnal, Istvn Forgcs |
| 1998 | Automatic Test Data Generation Using Constraint Solving Techniques. | Arnaud Gotlieb, Bernard Botella, Michel Rueher |
| 1998 | Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. | Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan |
| 1998 | Constructing Compact Models of Concurrent Java Programs. | James C. Corbett |
| 1998 | Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. | William Chan, Richard J. Anderson, Paul Beame, David Notkin |
| 1998 | Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. | Tevfik Bultan, Richard Gerber, Christopher League |
| 1998 | On the Limit of Control Flow Analysis for Regression Test Selection. | Thomas Ball |
| 1996 | Towards a Structural Load Testing Tool. | Cheer-Sun D. Yang, Lori L. Pollock |
| 1996 | Test and Analysis of Software Architectures. | Will Tracz |
| 1996 | Beyond Traditional Program Slicing. | Anthony M. Sloane, Jason Holdsworth |
| 1996 | Reachability Analysis of Feature Interactions: A Progress Report. | Keith P. Pomakis, Joanne M. Atlee |
| 1996 | Generation of Multi-Formalism State-Space Analysis Tools. | Mauro Pezz, Michal Young |
| 1996 | A Semantic Model of Program Faults. | A. Jefferson Offutt, Jane Huffman Hayes |
| 1996 | Using Perturbation Analysis to Measure Variation in the Information Content of Test Sets. | Larry J. Morell, Branson W. Murrill |
| 1996 | Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. | Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro |
| 1996 | The Path-Wise Approach to Data Flow Testing with Pointer Variables. | Delia I. S. Marx, Phyllis G. Frankl |
| 1996 | Unconstrained Duals and Their Use in Achieving All-Uses Coverage. | Martina Marr, Antonia Bertolino |
| 1996 | Automated Test Data Generation for Programs with Procedures. | Bogdan Korel |