ISSTA 1998: Clearwater Beach, Florida, USA

• James C. Corbett:
  Constructing Compact Models of Concurrent Java Programs. 1-10
  Electronic Edition (ACM DL) BibTeX
• Mary Jean Harrold, Gregg Rothermel, Saurabh Sinha:
  Computation of Interprocedural Control Dependence. 11-20
  Electronic Edition (ACM DL) BibTeX
• Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang:
  Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. 21-31
  Electronic Edition (ACM DL) BibTeX
• Brian Mitchell, Steven J. Zeil:
  An Experiment in Estimating Reliability Growth Under Both Representative and Directed Testing. 32-41
  Electronic Edition (ACM DL) BibTeX
• Simeon C. Ntafos:
  On Random and Partition Testing. 42-48
  Electronic Edition (ACM DL) BibTeX
• Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson:
  The Most Influential Papers from the ISSTA Research Community (Panel). 49
  Electronic Edition (ACM DL) BibTeX
• Richard G. Hamlet:
  What Can We Learn by Testing a Program? 50-52
  Electronic Edition (ACM DL) BibTeX
• Arnaud Gotlieb, Bernard Botella, Michel Rueher:
  Automatic Test Data Generation Using Constraint Solving Techniques. 53-62
  Electronic Edition (ACM DL) BibTeX
• Ákos Hajnal, István Forgács:
  An Applicable Test Data Generation Algorithm for Domain Errors. 63-72
  Electronic Edition (ACM DL) BibTeX
• Nigel Tracey, John A. Clark, Keith Mander:
  Automated Program Flaw Finding Using Simulated Annealing. 73-81
  Electronic Edition (ACM DL) BibTeX
• Thomas J. Ostrand, Aaron Anodide, Herbert Foster, Tarak Goradia:
  A Visual Test Development Environment for GUI Systems. 82-92
  Electronic Edition (ACM DL) BibTeX
• Mark Molloy, Kristy Andrews, James Herren, David Cutler, Paul Del Vigna:
  Automatic Interoperability Test Generation for Source-to-Source Translators. 93-101
  Electronic Edition (ACM DL) BibTeX
• William Chan, Richard J. Anderson, Paul Beame, David Notkin:
  Improving Efficiency of Symbolic Model Checking for State-Based System Requirements. 102-112
  Electronic Edition (ACM DL) BibTeX
• Tevfik Bultan, Richard Gerber, Christopher League:
  Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach. 113-123
  Electronic Edition (ACM DL) BibTeX
• Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan:
  Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft. 124-133
  Electronic Edition (ACM DL) BibTeX
• Thomas Ball:
  On the Limit of Control Flow Analysis for Regression Test Selection. 134-142
  Electronic Edition (ACM DL) BibTeX
• Bogdan Korel, Ali M. Al-Yami:
  Automated Regression Test Generation. 143-152
  Electronic Edition (ACM DL) BibTeX
• Cheer-Sun D. Yang, Amie L. Souter, Lori L. Pollock:
  All-du-path Coverage for Parallel Programs. 153-162
  Electronic Edition (ACM DL) BibTeX