default search action

combined dblp search
author search
venue search
publication search

ask others

ISSTA 2002: Roma, Italy

> Home > Conferences and Workshops > ISSTA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/issta/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2002
Phyllis G. Frankl:
Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002. ACM 2002, ISBN 1-58113-562-9

Static analysis of Java programs

- view
  authority control:
- export record
  dblp key:
  - conf/issta/MilanovaRR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MilanovaRR02
Ana L. Milanova, Atanas Rountev, Barbara G. Ryder:
Parameterized object sensitivity for points-to and side-effect analyses for Java. 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GroceV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GroceV02
Alex Groce, Willem Visser:
Model checking Java programs using structural heuristics. 12-21
- view
  authority control:
- export record
  dblp key:
  - conf/issta/LiangPH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LiangPH02
Donglin Liang, Maikel Pennings, Mary Jean Harrold:
Evaluating the precision of static reference analysis using profiling. 22-32

Validating security properties

- view
  authority control:
- export record
  dblp key:
  - conf/issta/Naumovich02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Naumovich02
Gleb Naumovich:
A conservative algorithm for computing the flow of permissions in Java programs. 33-43
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Stoller02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Stoller02
Scott D. Stoller:
Domain partitioning for open reactive systems. 44-54

Faults and failure analysis

- view
  authority control:
- export record
  dblp key:
  - conf/issta/OstrandW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/OstrandW02
Thomas J. Ostrand, Elaine J. Weyuker:
The distirubtion of faults in a large industrial software system. 55-64
- view
  authority control:
- export record
  dblp key:
  - conf/issta/OrsoLHL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/OrsoLHL02
Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton:
Gamma system: continuous evolution of software after deployment. 65-69
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BriandLS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BriandLS02
Lionel C. Briand, Yvan Labiche, Hong Sun:
Investigating the use of analysis contracts to support fault isolation in object oriented code. 70-80
- view
  authority control:
- export record
  dblp key:
  - conf/issta/HillerJS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/HillerJS02
Martin Hiller, Arshad Jhumka, Neeraj Suri:
PROPANE: an environment for examining the propagation of errors in software. 81-85

Improving testing efficiency

- view
  authority control:
- export record
  dblp key:
  - conf/issta/TikirH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TikirH02
Mustafa M. Tikir, Jeffrey K. Hollingsworth:
Efficient instrumentation for code coverage testing. 86-96
- view
  authority control:
- export record
  dblp key:
  - conf/issta/SrivastavaT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/SrivastavaT02
Amitabh Srivastava, Jay Thiagarajan:
Effectively prioritizing tests in development environment. 97-106
- view
  authority control:
- export record
  dblp key:
  - conf/issta/VaysburgTK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/VaysburgTK02
Boris Vaysburg, Luay Ho Tahat, Bogdan Korel:
Dependence analysis in reduction of requirement based test suites. 107-111

Specification-based testing

- view
  authority control:
- export record
  dblp key:
  - conf/issta/GrieskampGSV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GrieskampGSV02
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes:
Generating finite state machines from abstract state machines. 112-122
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BoyapatiKM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BoyapatiKM02
Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov:
Korat: automated testing based on Java predicates. 123-133
- view
  authority control:
- export record
  dblp key:
  - conf/issta/FriedmanHNS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/FriedmanHNS02
G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran:
Projected state machine coverage for software testing. 134-143

Conformance and interoperability testing

- view
  authority control:
- export record
  dblp key:
  - conf/issta/LatellaM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LatellaM02
Diego Latella, Mieke Massink:
On testing and conformance relations for UML statechart diagrams behaviours. 144-153
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MoorsVTZB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MoorsVTZB02
Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri:
Experiences in automating the testing of SS7 signalling transfer points. 154-158
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Cardell-Oliver02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Cardell-Oliver02
Rachel Cardell-Oliver:
Conformance test experiments for distributed real-time systems. 159-163

Analysis of concurrent programs

- view
  authority control:
- export record
  dblp key:
  - conf/issta/Cheng02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Cheng02
Yung-Pin Cheng:
Refactoring design models for inductive verification. 164-168
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Yavuz-KahveciB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Yavuz-KahveciB02
Tuba Yavuz-Kahveci, Tevfik Bultan:
Specification, verification, and synthesis of concurrency control components. 169-179

Theory of testing and reability

- view
  authority control:
- export record
  dblp key:
  - conf/issta/Bishop02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Bishop02
Peter G. Bishop:
Rescaling reliability bounds for a new operational profile. 180-190
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ChenTZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ChenTZ02
Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou:
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. 191-195
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Hamlet02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Hamlet02
Dick Hamlet:
Continuity in sofware systems. 196-200

ISSTA panel: is ISSTA research relevant to industrial users?

- view
  authority control:
- export record
  dblp key:
  - conf/issta/Bertolino02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Bertolino02
Antonia Bertolino:
ISSTA 2002 panel: is ISSTA research relevant to industrial users? 201-202
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Encontre02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Encontre02
Vincent Encontre:
Is ISSTA research relevant to industrial users? panel - ISSTA 2002: empowering the developer to be a tester too! 203-204
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Hartman02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Hartman02
Alan Hartman:
Is ISSTA research relevant to industry? 205-206
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Peciola02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Peciola02
Emilia Peciola:
Ericsson lab Italy: is ISSTA research relevant to industrial users? 207
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Sreenivas02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Sreenivas02
Ashok Sreenivas:
Panel discussion: is ISSTA testing research relevant to industrial users? 208-209

Dynamic analysis

- view
  authority control:
- export record
  dblp key:
  - conf/issta/ChoiZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ChoiZ02
Jong-Deok Choi, Andreas Zeller:
Isolating failure-inducing thread schedules. 210-220
- view
  authority control:
- export record
  dblp key:
  - conf/issta/WhaleyML02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/WhaleyML02
John Whaley, Michael C. Martin, Monica S. Lam:
Automatic extraction of object-oriented component interfaces. 218-228
- view
  authority control:
- export record
  dblp key:
  - conf/issta/NimmerE02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/NimmerE02
Jeremy W. Nimmer, Michael D. Ernst:
Automatic generation of program specifications. 229-239

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.