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
  
• Alex Groce, Willem Visser:
  Model checking Java programs using structural heuristics. 12-21
  
• Donglin Liang, Maikel Pennings, Mary Jean Harrold:
  Evaluating the precision of static reference analysis using profiling. 22-32
  

Validating security properties

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

Faults and failure analysis

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

Improving testing efficiency

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

Specification-based testing

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

Conformance and interoperability testing

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

Analysis of concurrent programs

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

Theory of testing and reability

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

ISSTA panel: is ISSTA research relevant to industrial users?

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

Dynamic analysis

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