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