ISSTA 2000: Portland, OR, USA

• Jonathan D. Pincus:
  Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only). 1
  Electronic Edition (ACM DL) BibTeX
• Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
  Verisim: Formal analysis of network simulations. 2-13
  Electronic Edition (ACM DL) BibTeX
• Daniel Jackson, Mandana Vaziri:
  Finding bugs with a constraint solver. 14-25
  Electronic Edition (ACM DL) BibTeX
• Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
  Putting static analysis to work for verification: A case study. 26-38
  Electronic Edition (ACM DL) BibTeX
• Ugo A. Buy, Alessandro Orso, Mauro Pezzè:
  Automated Testing of Classes. 39-48
  Electronic Edition (ACM DL) BibTeX
• Amie L. Souter, Lori L. Pollock:
  OMEN: A strategy for testing object-oriented software. 49-59
  Electronic Edition (ACM DL) BibTeX
• Jean Hartmann, Claudio Imoberdorf, Michael Meisinger:
  UML-Based integration testing. 60-70
  Electronic Edition (ACM DL) BibTeX
• Richard G. Hamlet:
  On subdomains: Testing, profiles, and components. 71-76
  Electronic Edition (ACM DL) BibTeX
• Dennis K. Peters, David Lorge Parnas:
  Requirements-based monitors for real-time systems. 77-85
  Electronic Edition (ACM DL) BibTeX
• Paul Z. Kolano, Richard A. Kemmerer:
  Classification schemes to aid in the analysis of real-time systems. 86-95
  Electronic Edition (ACM DL) BibTeX
• Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil:
  Verifying properties of process definitions. 96-101
  Electronic Edition (ACM DL) BibTeX
• Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel:
  Prioritizing test cases for regression testing. 102-112
  Electronic Edition (ACM DL) BibTeX
• Michael Hind, Anthony Pioli:
  Which pointer analysis should I use? 113-123
  Electronic Edition (ACM DL) BibTeX
• Phyllis G. Frankl, Yuetang Deng:
  Comparison of delivered reliability of branch, data flow and operational testing: A case study. 124-134
  Electronic Edition (ACM DL) BibTeX
• Ralf Hildebrandt, Andreas Zeller:
  Simplifying failure-inducing input. 135-145
  Electronic Edition (ACM DL) BibTeX
• Lori A. Clarke:
  Finite state verification: An emerging technology for validating software systems (abstract only). 146
  Electronic Edition (ACM DL) BibTeX
• David Chays, Saikat Dan, Phyllis G. Frankl, Filippos I. Vokolos, Elaine J. Weber:
  A framework for testing database applications. 147-157
  Electronic Edition (ACM DL) BibTeX
• John Steven, Pravir Chandra, Bob Fleck, Andy Podgurski:
  jRapture: A Capture/Replay tool for observation-based testing. 158-167
  Electronic Edition (ACM DL) BibTeX
• Martin R. Woodward, Zuhoor A. Al-Khanjari:
  Testability, fault size and the domain-to-range ratio: An eternal triangle. 168-172
  Electronic Edition (ACM DL) BibTeX
• Patrick J. Schroeder, Bogdan Korel:
  Black-box test reduction using input-output analysis. 173-177
  Electronic Edition (ACM DL) BibTeX
• Craig H. Wittenberg:
  Progress in testing component-based software (abstract only). 178
  Electronic Edition (ACM DL) BibTeX
• David L. Dill:
  Model checking Java programs (abstract only). 179
  Electronic Edition (ACM DL) BibTeX
• Mangala Gowri Nanda, S. Ramesh:
  Slicing concurrent programs. 180-190
  Electronic Edition (ACM DL) BibTeX
• Stephen F. Siegel, George S. Avrunin:
  Improving the precision of INCA by preventing spurious cycles. 191-200
  Electronic Edition (ACM DL) BibTeX
• Daniel Schulz, Frank Mueller:
  A thread-aware debugger with an open interface. 201-211
  Electronic Edition (ACM DL) BibTeX