default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSTA 2000: Portland, OR, USA
- Debra J. Richardson, Mary Jean Harold:
Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000. ACM 2000, ISBN 1-58113-266-2 - Jonathan D. Pincus:
Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only). 1 - Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal analysis of network simulations. 2-13 - Daniel Jackson, Mandana Vaziri:
Finding bugs with a constraint solver. 14-25 - Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
Putting static analysis to work for verification: A case study. 26-38 - Ugo A. Buy, Alessandro Orso, Mauro Pezzè
:
Automated Testing of Classes. 39-48 - Amie L. Souter, Lori L. Pollock:
OMEN: A strategy for testing object-oriented software. 49-59 - Jean Hartmann, Claudio Imoberdorf, Michael Meisinger:
UML-Based integration testing. 60-70 - Richard G. Hamlet:
On subdomains: Testing, profiles, and components. 71-76 - Dennis K. Peters, David Lorge Parnas:
Requirements-based monitors for real-time systems. 77-85 - Paul Z. Kolano, Richard A. Kemmerer:
Classification schemes to aid in the analysis of real-time systems. 86-95 - Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil:
Verifying properties of process definitions. 96-101 - Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel:
Prioritizing test cases for regression testing. 102-112 - Michael Hind, Anthony Pioli:
Which pointer analysis should I use? 113-123 - Phyllis G. Frankl, Yuetang Deng:
Comparison of delivered reliability of branch, data flow and operational testing: A case study. 124-134 - Ralf Hildebrandt, Andreas Zeller:
Simplifying failure-inducing input. 135-145 - Lori A. Clarke:
Finite state verification: An emerging technology for validating software systems (abstract only). 146 - David Chays, Saikat Dan, Phyllis G. Frankl, Filippos I. Vokolos, Elaine J. Weber:
A framework for testing database applications. 147-157 - John Steven, Pravir Chandra, Bob Fleck, Andy Podgurski:
jRapture: A Capture/Replay tool for observation-based testing. 158-167 - Martin R. Woodward, Zuhoor A. Al-Khanjari:
Testability, fault size and the domain-to-range ratio: An eternal triangle. 168-172 - Patrick J. Schroeder, Bogdan Korel:
Black-box test reduction using input-output analysis. 173-177 - Craig H. Wittenberg:
Progress in testing component-based software (abstract only). 178 - David L. Dill:
Model checking Java programs (abstract only). 179 - Mangala Gowri Nanda, S. Ramesh:
Slicing concurrent programs. 180-190 - Stephen F. Siegel, George S. Avrunin:
Improving the precision of INCA by preventing spurious cycles. 191-200 - Daniel Schulz, Frank Mueller:
A thread-aware debugger with an open interface. 201-211
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-03 00:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
