Abstract is missing.
- Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only)Jonathan D. Pincus. 1 [doi]
- Verisim: Formal analysis of network simulationsKarthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan. 2-13 [doi]
- Finding bugs with a constraint solverDaniel Jackson, Mandana Vaziri. 14-25 [doi]
- Putting static analysis to work for verification: A case studyTal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm. 26-38 [doi]
- Automated Testing of ClassesUgo A. Buy, Alessandro Orso, Mauro Pezzè. 39-48 [doi]
- OMEN: A strategy for testing object-oriented softwareAmie L. Souter, Lori L. Pollock. 49-59 [doi]
- UML-Based integration testingJean Hartmann, Claudio Imoberdorf, Michael Meisinger. 60-70 [doi]
- On subdomains: Testing, profiles, and componentsRichard G. Hamlet. 71-76 [doi]
- Classification schemes to aid in the analysis of real-time systemsPaul Z. Kolano, Richard A. Kemmerer. 86-95 [doi]
- Verifying properties of process definitionsJamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil. 96-101 [doi]
- Prioritizing test cases for regression testingSebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel. 102-112 [doi]
- Which pointer analysis should I use?Michael Hind, Anthony Pioli. 113-123 [doi]
- Comparison of delivered reliability of branch, data flow and operational testing: A case studyPhyllis G. Frankl, Yuetang Deng. 124-134 [doi]
- Simplifying failure-inducing inputRalf Hildebrandt, Andreas Zeller. 135-145 [doi]
- Finite state verification: An emerging technology for validating software systems (abstract only)Lori A. Clarke. 146 [doi]
- A framework for testing database applicationsDavid Chays, Saikat Dan, Phyllis G. Frankl, Filippos I. Vokolos, Elaine J. Weber. 147-157 [doi]
- jRapture: A Capture/Replay tool for observation-based testingJohn Steven, Pravir Chandra, Bob Fleck, Andy Podgurski. 158-167 [doi]
- Testability, fault size and the domain-to-range ratio: An eternal triangleMartin R. Woodward, Zuhoor A. Al-Khanjari. 168-172 [doi]
- Black-box test reduction using input-output analysisPatrick J. Schroeder, Bogdan Korel. 173-177 [doi]
- Model checking Java programs (abstract only)David L. Dill. 179 [doi]
- Slicing concurrent programsMangala Gowri Nanda, S. Ramesh. 180-190 [doi]
- Improving the precision of INCA by preventing spurious cyclesStephen F. Siegel, George S. Avrunin. 191-200 [doi]