Proceedings of the International Symposium on Software Testing and Analysis
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

TEST
DBLP
Scholar
Full names Links ISxN
@proceedings{ISSTA-2002,
	address       = "Rome, Italy",
	publisher     = "{ACM}",
	title         = "{Proceedings of the International Symposium on Software Testing and Analysis}",
	year          = 2002,
}

Contents (28 items)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.