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

@proceedings{ISSTA-2002,
	address       = "Rome, Italy",
	publisher     = "{ACM}",
	title         = "{Proceedings of the International Symposium on Software Testing and Analysis}",
	year          = 2002,
}

Contents (28 items)

8 ×#testing
4 ×#analysis
4 ×#automation
4 ×#java
3 ×#fault
3 ×#industrial
3 ×#named
2 ×#component
2 ×#concurrent
2 ×#consistency

ISSTA-2002-MilanovaRR #analysis #java #points-to

Parameterized object sensitivity for points-to and side-effect analyses for Java (AM, AR, BGR), pp. 1–11.

ISSTA-2002-GroceV #heuristic #java #model checking #source code #using

Model checking Java programs using structural heuristics (AG, WV), pp. 12–21.

ISSTA-2002-LiangPH #analysis #precise #profiling #using

Evaluating the precision of static reference analysis using profiling (DL, MP, MJH), pp. 22–32.

ISSTA-2002-Naumovich #algorithm #java #source code

A conservative algorithm for computing the flow of permissions in Java programs (GN), pp. 33–43.

ISSTA-2002-Stoller #clustering

Domain partitioning for open reactive systems (SDS), pp. 44–54.

ISSTA-2002-OstrandW #fault #industrial #scalability

The distirubtion of faults in a large industrial software system (TJO, EJW), pp. 55–64.

ISSTA-2002-OrsoLHL #deployment #evolution

Gamma system: continuous evolution of software after deployment (AO, DL, MJH, RJL), pp. 65–69.

ISSTA-2002-BriandLS #analysis #contract #fault #object-oriented #using

Investigating the use of analysis contracts to support fault isolation in object oriented code (LCB, YL, HS), pp. 70–80.

ISSTA-2002-HillerJS #fault #named

PROPANE: an environment for examining the propagation of errors in software (MH, AJ, NS), pp. 81–85.

ISSTA-2002-TikirH #performance #test coverage #testing

Efficient instrumentation for code coverage testing (MMT, JKH), pp. 86–96.

ISSTA-2002-SrivastavaT #development #effectiveness #testing

Effectively prioritizing tests in development environment (AS, JT), pp. 97–106.

ISSTA-2002-VaysburgTK #analysis #dependence #reduction #testing

Dependence analysis in reduction of requirement based test suites (BV, LHT, BK), pp. 107–111.

ISSTA-2002-GrieskampGSV #finite #generative #state machine

Generating finite state machines from abstract state machines (WG, YG, WS, MV), pp. 112–122.

ISSTA-2002-BoyapatiKM #automation #java #named #testing

Korat: automated testing based on Java predicates (CB, SK, DM), pp. 123–133.

ISSTA-2002-FriedmanHNS #state machine #testing

Projected state machine coverage for software testing (GF, AH, KN, TS), pp. 134–143.

ISSTA-2002-LatellaM #behaviour #consistency #diagrams #on the #statechart #testing #uml

On testing and conformance relations for UML statechart diagrams behaviours (DL, MM), pp. 144–153.

ISSTA-2002-MoorsVTZB #automation #case study #experience #testing

Experiences in automating the testing of SS7 signalling transfer points (TM, MV, ZT, XZ, RB), pp. 154–158.

ISSTA-2002-Cardell-Oliver #consistency #distributed #realtime

Conformance test experiments for distributed real-time systems (RCO), pp. 159–163.

ISSTA-2002-Cheng #design #induction #modelling #refactoring #verification

Refactoring design models for inductive verification (YPC), pp. 164–168.

ISSTA-2002-Yavuz-KahveciB #component #concurrent #specification #synthesis #verification

Specification, verification, and synthesis of concurrency control components (TYK, TB), pp. 169–179.

ISSTA-2002-Bishop #bound #reliability

Rescaling reliability bounds for a new operational profile (PGB), pp. 180–190.

ISSTA-2002-ChenTZ #evaluation #named #symbolic computation #testing

Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing (TYC, THT, ZZ), pp. 191–195.

ISSTA-2002-Hamlet

Continuity in sofware systems (DH), pp. 196–200.

ISSTA-2002-Hartman #industrial #question #research

Is ISSTA research relevant to industry? (AH), pp. 205–206.

ISSTA-2002-Peciola #industrial #question #research

Ericsson lab Italy: is ISSTA research relevant to industrial users? (EP), p. 207.

ISSTA-2002-ChoiZ #concurrent #thread

Isolating failure-inducing thread schedules (JDC, AZ), pp. 210–220.

ISSTA-2002-WhaleyML #automation #component #interface #object-oriented

Automatic extraction of object-oriented component interfaces (JW, MCM, MSL), pp. 218–228.

ISSTA-2002-NimmerE #automation #generative #specification

Automatic generation of program specifications (JWN, MDE), pp. 229–239.