ISSTA 2002: Roma, Italy

Static analysis of Java programs

• Ana Milanova, Atanas Rountev, Barbara G. Ryder:
  Parameterized object sensitivity for points-to and side-effect analyses for Java. 1-11
  Electronic Edition (ACM DL) BibTeX
• Alex Groce, Willem Visser:
  Model checking Java programs using structural heuristics. 12-21
  Electronic Edition (ACM DL) BibTeX
• Donglin Liang, Maikel Pennings, Mary Jean Harrold:
  Evaluating the precision of static reference analysis using profiling. 22-32
  Electronic Edition (ACM DL) BibTeX

Validating security properties

• Gleb Naumovich:
  A conservative algorithm for computing the flow of permissions in Java programs. 33-43
  Electronic Edition (ACM DL) BibTeX
• Scott D. Stoller:
  Domain partitioning for open reactive systems. 44-54
  Electronic Edition (ACM DL) BibTeX

Faults and failure analysis

• Thomas J. Ostrand, Elaine J. Weyuker:
  The distirubtion of faults in a large industrial software system. 55-64
  Electronic Edition (ACM DL) BibTeX
• Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard J. Lipton:
  Gamma system: continuous evolution of software after deployment. 65-69
  Electronic Edition (ACM DL) BibTeX
• Lionel C. Briand, Yvan Labiche, Hong Sun:
  Investigating the use of analysis contracts to support fault isolation in object oriented code. 70-80
  Electronic Edition (ACM DL) BibTeX
• Martin Hiller, Arshad Jhumka, Neeraj Suri:
  PROPANE: an environment for examining the propagation of errors in software. 81-85
  Electronic Edition (ACM DL) BibTeX

Improving testing efficiency

• Mustafa M. Tikir, Jeffrey K. Hollingsworth:
  Efficient instrumentation for code coverage testing. 86-96
  Electronic Edition (ACM DL) BibTeX
• Amitabh Srivastava, Jay Thiagarajan:
  Effectively prioritizing tests in development environment. 97-106
  Electronic Edition (ACM DL) BibTeX
• Boris Vaysburg, Luay Ho Tahat, Bogdan Korel:
  Dependence analysis in reduction of requirement based test suites. 107-111
  Electronic Edition (ACM DL) BibTeX

Specification-based testing

• Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes:
  Generating finite state machines from abstract state machines. 112-122
  Electronic Edition (ACM DL) BibTeX
• Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov:
  Korat: automated testing based on Java predicates. 123-133
  Electronic Edition (ACM DL) BibTeX
• G. Friedman, A. Hartman, K. Nagin, T. Shiran:
  Projected state machine coverage for software testing. 134-143
  Electronic Edition (ACM DL) BibTeX

Conformance and interoperability testing

• Diego Latella, Mieke Massink:
  On testing and conformance relations for UML statechart diagrams behaviours. 144-153
  Electronic Edition (ACM DL) BibTeX
• Tim Moors, Malathi Veeraraghavan, Zhifeng Tao, Xuan Zheng, Ramesh Badri:
  Experiences in automating the testing of SS7 signalling transfer points. 154-158
  Electronic Edition (ACM DL) BibTeX
• Rachel Cardell-Oliver:
  Conformance test experiments for distributed real-time systems. 159-163
  Electronic Edition (ACM DL) BibTeX

Analysis of concurrent programs

• Yung-Pin Cheng:
  Refactoring design models for inductive verification. 164-168
  Electronic Edition (ACM DL) BibTeX
• Tuba Yavuz-Kahveci, Tevfik Bultan:
  Specification, verification, and synthesis of concurrency control components. 169-179
  Electronic Edition (ACM DL) BibTeX

Theory of testing and reability

• Peter G. Bishop:
  Rescaling reliability bounds for a new operational profile. 180-190
  Electronic Edition (ACM DL) BibTeX
• Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou:
  Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. 191-195
  Electronic Edition (ACM DL) BibTeX
• Dick Hamlet:
  Continuity in sofware systems. 196-200
  Electronic Edition (ACM DL) BibTeX

ISSTA panel: is ISSTA research relevant to industrial users?

• Antonia Bertolino:
  ISSTA 2002 panel: is ISSTA research relevant to industrial users? 201-202
  Electronic Edition (ACM DL) BibTeX
• Vincent Encontre:
  Is ISSTA research relevant to industrial users? panel - ISSTA 2002: empowering the developer to be a tester too! 203-204
  Electronic Edition (ACM DL) BibTeX
• A. Hartman:
  Is ISSTA research relevant to industry? 205-206
  Electronic Edition (ACM DL) BibTeX
• Emilia Peciola:
  Ericsson lab Italy: is ISSTA research relevant to industrial users? 207
  Electronic Edition (ACM DL) BibTeX
• Ashok Sreenivas:
  Panel discussion: is ISSTA testing research relevant to industrial users? 208-209
  Electronic Edition (ACM DL) BibTeX

Dynamic analysis

• Jong-Deok Choi, Andreas Zeller:
  Isolating failure-inducing thread schedules. 210-220
  Electronic Edition (ACM DL) BibTeX
• John Whaley, Michael C. Martin, Monica S. Lam:
  Automatic extraction of object-oriented component interfaces. 218-228
  Electronic Edition (ACM DL) BibTeX
• Jeremy W. Nimmer, Michael D. Ernst:
  Automatic generation of program specifications. 229-239
  Electronic Edition (ACM DL) BibTeX