ISSTA 2002

International Symposium on Software Testing and Analysis

SUNDAY 21 July 2002

19:30 - 20:30 Welcome Cocktail

Roof Garden, Residenza di Ripetta

MONDAY 22 July 2002

9:00 - 9:15 ISSTA Opening

Welcome and Opening Remarks:

Antonia Bertolino, General Chair (IEI-CNR, Pisa, Italy) slides - 483 kb -
Phyllis Frankl, Program Chair (Polytechnic University, Brooklyn, NY, USA)

9:15 - 10:15 Session 1: Keynote Talk

Embedded Software Testing in the Automotive Domain
Invited Speaker: Aldo Borrione (Centro Ricerche FIAT, Italy)
Slides are available by e-mailing the author at aldo.borrione@crf.it

10:45 - 12:00 Session 2: Static Analysis of Java Programs

Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java
Ana Milanova, Atanas Rountev, Barbara Ryder (Rutgers University, USA) abstract slides - 118 kb -
Model Checking Java Programs using Structural Heuristics
Alex Groce (Carnegie Mellon University, USA),
Willem Visser (RIACS/NASA, Ames Research Center, USA) abstract slides - 292 kb -
Evaluating the Precision of Static Reference Analysis Using Profiling
Donglin Liang, Maikel Pennings, Mary Jean Harrold (Georgia Institute of Technology, USA) abstract slides - 248 kb -

12:10 - 13:00 Session 3: Validating Security Properties

A Conservative Algorithm for Computing the Flow of Permissions in Java Programs
Gleb Naumovich (Polytechnic University, Brooklyn, USA) abstract slides - 463 kb -
Domain Partitioning for Open Reactive Systems
Scott Stoller (State University of New York at Stony Brook, USA) abstract slides (.pdf) - 99,4 kb -

13:00 - 14:30 LUNCH

14:30 - 16:10 Session 4: Fault and Failure Analysis

The Distribution of Faults in a Large Industrial Software System
Thomas Ostrand, Elaine Weyuker (AT&T Labs - Research, USA) abstract slides - 442 kb -
Gamma System: Continuous Evolution of Software after Deployment
Alessandro Orso, Donglin Liang, Mary Jean Harrold, Richard Lipton
(Georgia Institute of Technology, USA) abstract slides (.pdf) - 1,38 Mb -
Investigating the Use of Analysis Contracts to Support Fault Isolation in Object
Oriented Code
Lionel Briand, Yvan Labiche, Hong Sun (Carleton University, Canada) abstract slides - 180 kb -
PROPANE: An Environment for Examining the Propagation of Errors in Software
Martin Hiller, Arshad Jhumka, Neeraj Suri (Chalmers University of Technology, Sweden) abstract slides - 437 kb -

16:45 - 18:00 Session 5: Improving Testing Efficiency

Efficient Instrumentation for Code Coverage Testing
Mustafa Tikir, Jeffrey Hollingsworth (University of Maryland, USA) abstract slides - 430 kb -
Effectively Prioritizing Tests in Development Environment
Amitabh Srivastava, Jay Thiagarajan (Microsoft Research, Redmond, USA) abstract slides - 425 kb -
Dependence Analysis in Reduction of Requirement Based Test Suites
Boris Vaysburg, Bogdan Korel (Illinois Institute of Technology, USA), Luay Tahat
(Lucent Technologies, USA) abstract slides - 472 kb -

TUESDAY 23 July 2002

9:00 - 10:15 Session 6: Specification-based Testing

Generating Finite State Machines from Abstract State Machines
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
(Microsoft Research, Redmond, USA) abstract slides - 96 kb -
Korat: Automated Testing Based on Java Predicates
Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov
(MIT Laboratory for Computer Science, USA) abstract slides - 199 kb -
Projected State Machine Coverage for Software Testing
Galit Friedman (Technion Israel Institute of Technology, Israel), Alan Hartman,
Kenneth Nagin, Tomer Shiran (IBM Haifa Research Laboratory, Israel) abstract slides - 93 kb -

10:45 - 12:00 Session 7: Conformance and Interoperability Testing

On Testing and Conformance Relations for UML Statechart Diagrams Behaviours
Diego Latella, Mieke Massink (CNR-CNUCE, Italy) abstract slides (.ps) - 256 kb -
Experiences in Automating the Testing of SS7 Signalling Transfer Points
Tim Moors (University of New South Wales, Australia), Malathi Veeraraghavan, Zhifeng Tao,
Xuan Zheng (Polytechnic University, USA), Ramesh Badri (Sprint PCS, USA) abstract slides - 418 kb -
Conformance Test Experiments for Distributed Real-Time Systems
Rachel Cardell-Oliver (The University of Western, Australia) abstract slides - 1,07 Mb -

12:10 - 13:00 Session 8: Analysis of Concurrent Programs

Refactoring Design Models for Inductive Verification
Yung-Pin Cheng (National Taiwan Normal University), Michal Young
(University of Oregon, USA) abstract
slides - 436 kb - Example 1 (.java) - 10,1 kb - Example 2 (.al) - 4,64 kb -
Specification, Verification, and Synthesis of Concurrency Control Components
Tuba Yavuz-Kahveci, Tevfik Bultan (University of California, Santa Barbara, USA) abstract slides - 285 kb -

13:00 - 14:30 LUNCH

14:30 - 15:45: Session 9: Theory of Testing and Reliability

Rescaling Reliability Bounds for a New Operational Profile
Peter Bishop (City University, London, U.K.) abstract slides - 300 kb -
Semi-Proving: an Integrated Method Based on Global Symbolic Evaluation and
Metamorphic Testing
T.Y. Chen (Swinburne University of Technology, Australia), T.H. Tse, Zhiquan Zhou
(The University of Hong Kong) abstract slides - 211 kb -
Continuity in Software Systems
Dick Hamlet (Portland State University, USA) abstract slides (.pdf) - 137 kb -

16:15 - 18:00 -ISSTA Panel: Is ISSTA Research Relevant to Industrial Users?

Moderator: Antonia Bertolino (IEI-CNR, Italy)

slides - 13 kb -

Panelists:

Gualtiero Bazzana (Onion, Italy)
Vincent Encontre (Rational, France)
Alan Hartman (IBM, Israel) slides - 38 kb -
Emilia Peciola (Ericsson Lab Italy)
Ashok Sreenivas (TRDDC, India) slides - 102 kb -

20:00 Gala Dinner

Gala Dinner at Grand Hotel Plaza - Via del Corso, 126

WEDNESDAY 24 July 2002

8:30 - 9:00 WOSP Opening

9:00 - 10:00 Joint ISSTA Session 10 / WOSP Session 1: Keynote Talk

Qualitative and Quantitative Validation of Software Systems: a Model-based View on
Integrated Analysis.
Invited Speaker: Ed Brinksma (University of Twente, The Netherlands)

slides - 461 kb -

10:30 - 11:45 ISSTA Session 11 (joint with WOSP Session 2): Dynamic Analysis

Isolating Failure-Inducing Thread Schedules
Jong-Deok Choi (IBM T. J. Watson Research Center, USA), Andreas Zeller
(Universität des Saarlandes, Germany) abstract slides (.pdf) - 473 kb -
Automatic Extraction of Object-Oriented Component Interfaces
John Whaley, Michael Martin, Monica Lam (Stanford University, USA) abstract slides
Automatic Generation of Program Specifications
Jeremy W. Nimmer, Michael D. Ernst (MIT Lab for Computer Science, USA) abstract slides - 782 kb -

12:00 - 13:00 WOSP Session 3 (joint with ISSTA Session 12): Performance Analysis Along The Software Life Cycle

Analyzing Software Requirements Specifications for Performance
Murray Woodside, Dorin Petriu (Carleton University, Canada) abstract slides
The Sisyphus Database Retrieval Performance Antipattern
Robert F. Dugan Jr., Ephraim P. Glinert (Polytechnic Institute, NY, USA), Ali Shokoufandeh
(Drexel University, Philadelphia, USA) abstract slides - 240 kb -
Software Performance Testing Based on Workload Characterization
Alberto Avritzer, Joe Kondek, Danielle Liu, Elaine Weyuker (AT&T Labs - Research, USA) abstract slides - 178 kb -

13:00 -13:15 ISSTA Closing

Invitation to ISSTA 2004:
George Avrunin (University of Massachussetts, USA), Gregg Rothermel (Oregon State
University, USA) slides (.pdf) - 64,9 kb -
ISSTA Symposium Wrap-up:
Antonia Bertolino (IEI-CNR, Italy), Phyllis Frankl (Polytechnic University, Brooklyn, NY, USA)

The program continues with WOSP sessions...