| 113 | -- | 114 | Mary Jean Harrold, Antonia Bertolino. Guest Editors Introduction: 2000 International Symposium on Software Testing and Analysis |
| 115 | -- | 128 | Stephen F. Siegel, George S. Avrunin. Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles |
| 129 | -- | 145 | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan. Verisim: Formal Analysis of Network Simulations |
| 146 | -- | 158 | Dennis K. Peters, David Lorge Parnas. Requirements-Based Monitors for Real-Time Systems |
| 159 | -- | 182 | Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel. Test Case Prioritization: A Family of Empirical Studies |
| 183 | -- | 200 | Andreas Zeller, Ralf Hildebrandt. Simplifying and Isolating Failure-Inducing Input |
| 201 | -- | 208 | Mohamed G. Gouda. Multiphase Stabilization |