Proceedings of the International Symposium on Software Testing and Analysis
ISSTA, 2000.

@proceedings{ISSTA-2000,
	address       = "Portland, OR, USA",
	publisher     = "{ACM}",
	title         = "{Proceedings of the International Symposium on Software Testing and Analysis}",
	year          = 2000,
}

Contents (25 items)

10 ×#testing
5 ×#analysis
3 ×#case study
3 ×#named
3 ×#verification
2 ×#component
2 ×#debugging
2 ×#realtime
2 ×#source code

ISSTA-2000-Pincus #analysis #case study #developer #experience #tool support

Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (JDP), p. 1.

ISSTA-2000-BhargavanGKLOSV #analysis #formal method #named #network #simulation

Verisim: Formal analysis of network simulations (KB, CAG, MK, IL, DO, OS, MV), pp. 2–13.

ISSTA-2000-JacksonV #constraints #debugging #theorem proving

Finding bugs with a constraint solver (DJ, MV), pp. 14–25.

ISSTA-2000-Lev-AmiRSW #case study #static analysis #verification

Putting static analysis to work for verification: A case study (TLA, TWR, SS, RW), pp. 26–38.

ISSTA-2000-BuyOP #automation #testing

Automated Testing of Classes (UAB, AO, MP), pp. 39–48.

ISSTA-2000-SouterP #named #object-oriented #testing

OMEN: A strategy for testing object-oriented software (ALS, LLP), pp. 49–59.

ISSTA-2000-HartmannIM #integration #testing #uml

UML-Based integration testing (JH, CI, MM), pp. 60–70.

ISSTA-2000-Hamlet #component #on the #testing

On subdomains: Testing, profiles, and components (RGH), pp. 71–76.

ISSTA-2000-PetersP #monitoring #realtime

Requirements-based monitors for real-time systems (DKP, DLP), pp. 77–85.

ISSTA-2000-KolanoK #analysis #classification #realtime

Classification schemes to aid in the analysis of real-time systems (PZK, RAK), pp. 86–95.

ISSTA-2000-CobleighCO #process #verification

Verifying properties of process definitions (JMC, LAC, LJO), pp. 96–101.

ISSTA-2000-ElbaumMR #testing

Prioritizing test cases for regression testing (SGE, AGM, GR), pp. 102–112.

ISSTA-2000-HindP #analysis #pointer #question

Which pointer analysis should I use? (MH, AP), pp. 113–123.

ISSTA-2000-FranklD #branch #case study #comparison #data flow #reliability #testing

Comparison of delivered reliability of branch, data flow and operational testing: A case study (PGF, YD), pp. 124–134.

ISSTA-2000-HildebrandtZ

Simplifying failure-inducing input (RH, AZ), pp. 135–145.

ISSTA-2000-Clarke #finite #validation #verification

Finite state verification: An emerging technology for validating software systems (LAC), p. 146.

ISSTA-2000-ChaysDFVW #database #framework #testing

A framework for testing database applications (DC, SD, PGF, FIV, EJW), pp. 147–157.

ISSTA-2000-StevenCFP #named #testing

jRapture: A Capture/Replay tool for observation-based testing (JS, PC, BF, AP), pp. 158–167.

ISSTA-2000-WoodwardA #fault #testing

Testability, fault size and the domain-to-range ratio: An eternal triangle (MRW, ZAAK), pp. 168–172.

ISSTA-2000-SchroederK #analysis #black box #reduction #using

Black-box test reduction using input-output analysis (PJS, BK), pp. 173–177.

ISSTA-2000-Wittenberg #component #testing

Progress in testing component-based software (CHW), p. 178.

ISSTA-2000-Dill #java #model checking #source code

Model checking Java programs (DLD), p. 179.

ISSTA-2000-NandaR #concurrent #slicing #source code

Slicing concurrent programs (MGN, SR), pp. 180–190.

ISSTA-2000-SiegelA #precise

Improving the precision of INCA by preventing spurious cycles (SFS, GSA), pp. 191–200.

ISSTA-2000-SchulzM #debugging #interface #thread

A thread-aware debugger with an open interface (DS, FM), pp. 201–211.