| 2000 | A framework for testing database applications. David Chays, Saikat Dan, Phyllis G. Frankl, Filippos I. Vokolos, Elaine J. Weber |
| 2000 | A thread-aware debugger with an open interface. Daniel Schulz, Frank Mueller |
| 2000 | Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only). Jonathan D. Pincus |
| 2000 | Automated Testing of Classes. Ugo A. Buy, Alessandro Orso, Mauro Pezzè |
| 2000 | Black-box test reduction using input-output analysis. Patrick J. Schroeder, Bogdan Korel |
| 2000 | Classification schemes to aid in the analysis of real-time systems. Paul Z. Kolano, Richard A. Kemmerer |
| 2000 | Comparison of delivered reliability of branch, data flow and operational testing: A case study. Phyllis G. Frankl, Yuetang Deng |
| 2000 | Finding bugs with a constraint solver. Daniel Jackson, Mandana Vaziri |
| 2000 | Finite state verification: An emerging technology for validating software systems (abstract only). Lori A. Clarke |
| 2000 | Improving the precision of INCA by preventing spurious cycles. Stephen F. Siegel, George S. Avrunin |
| 2000 | Model checking Java programs (abstract only). David L. Dill |
| 2000 | OMEN: A strategy for testing object-oriented software. Amie L. Souter, Lori L. Pollock |
| 2000 | On subdomains: Testing, profiles, and components. Richard G. Hamlet |
| 2000 | Prioritizing test cases for regression testing. Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel |
| 2000 | Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000 Debra J. Richardson, Mary Jean Harold |
| 2000 | Progress in testing component-based software (abstract only). Craig H. Wittenberg |
| 2000 | Putting static analysis to work for verification: A case study. Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
| 2000 | Requirements-based monitors for real-time systems. Dennis K. Peters, David Lorge Parnas |
| 2000 | Simplifying failure-inducing input. Ralf Hildebrandt, Andreas Zeller |
| 2000 | Slicing concurrent programs. Mangala Gowri Nanda, S. Ramesh |
| 2000 | Testability, fault size and the domain-to-range ratio: An eternal triangle. Martin R. Woodward, Zuhoor A. Al-Khanjari |
| 2000 | UML-Based integration testing. Jean Hartmann, Claudio Imoberdorf, Michael Meisinger |
| 2000 | Verifying properties of process definitions. Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil |
| 2000 | Verisim: Formal analysis of network simulations. Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
| 2000 | Which pointer analysis should I use? Michael Hind, Anthony Pioli |
| 2000 | jRapture: A Capture/Replay tool for observation-based testing. John Steven, Pravir Chandra, Bob Fleck, Andy Podgurski |