Session I: Opening and Keynote Address

• Welcome: Debra J. Richardson, General Chair (University of California, Irvine)
• Opening Remarks: Mary Jean Harrold, Program Chair (Georgia Institute of Technology)

[powerpoint slides]
• Analysis is Necessary, But Far from Sufficient:
  Experiences Building and Deploying Successful Tools for Developers and Teste rs
  Invited Speaker: Jon Pincus (Software Design Engineer, PPRC, Microsoft Research)

[powerpoint slides]

Session II: Static Analysis
Chair: Frank Tip (IBM TJ Watson Research Center)

• Formal Analysis of Network Simulations
  Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan (University of Pennsylvania)

[powerpoint slides]
• A Relational Method for Finding Bugs in Code
  Daniel Jackson and Mandana Vaziri (Massachusetts Institute of Technology)

[powerpoint slides]
• Putting Static Analysis to Work for Verification: A Case Study
  Tal Lev-Ami (Tel-Aviv University, Israel), Thomas Reps (University of Wisconsin), Mooly Sagiv (Tel-Aviv University, Israel), Reinhard Wilhelm (University of Saarlandes)

[powerpoint slides]

Session III: Testing Object-Oriented Software and Components
Chair: Thomas Ball (Microsoft Research)

• Automated Testing of Classes
  Ugo Buy (University of Illinois, Chicago), Alessandro Orso and Mauro Pezze' (Politecnico di Milano, Italia)
[powerpoint slides]
• OMEN: A Strategy for Testing Object-Oriented Software
  Amie L. Souter and Lori L. Pollock (University of Delaware)

[powerpoint slides]
• UML-Based Integration Testing
  Jean Hartmann and Claudio Imoberdorf (Siemens Corporate Research), Michael Meisinger (Technical University, Munich, Germany)

[powerpoint slides]
• On Subdomain, Testing, Profiles, and Components
  Dick Hamlet (Portland State University)

[pdf slides]

Session IV: Real Time and Process
Chair: Pascale Thevenod-Fosse (LAAS-CNRS, France)

• Requirements-based Monitors for Real-Time Systems
  Dennis K. Peters (Memorial University of Newfoundland) David L. Parnas (McMaster University)

[postscript slides]
• Classification Schemes to Aid in the Analysis of Real-Time Systems
  Paul Z. Kolano (Lockheed Martin), Richard A. Kemmerer (University of California, Santa Barbara)

[powerpoint slides]
• Verifying Properties of Process Definitions
  Jamieson M. Cobleigh; Lori A. Clarke; and Leon J. Osterweil (University of Massachusetts, Amherst)

[powerpoint slides]

Speakers Corner
Chair: Leon Osterweil (University of Massachusetts, Amherst)
[powerpoint slides]

Reception

Wednesday, 23 August 2000

Session V: Empirical Studies
Chair: Antonia Bertolino (CNR Italia)

• Prioritizing Test Cases for Regression Testing
  Sebastian Elbaum (University of Nebraska, Lincoln) Alexey G. Malishevsky and Gregg Rothermel (Oregon State University)

[powerpoint slides]
• Which Pointer Analysis Should I Use?
  Michael Hind (IBM TJ Watson Research Center), Anthony Pioli (Register.com)

[html link]
• Comparison of Delivered Reliability of Branch, Data Flow and Operational Testing: A case study
  Phyllis G. Frankl and Deng Yuetang (Polytechnic University)

[powerpoint slides]
• Minimizing Failure-Inducing Input
  Ralf Hildebrandt and Andreas Zeller (University of Passau, Germany)

[pdf slides]

Session VI: State of the Art and Future Directions Report
Chair: George Avrunin (University of Massachusetts, Amherst)

• Finite State Verification: A New Approach for Validating Software Systems
  Invited Speaker: Lori Clarke (Professor, Computer Science Department, University of Massachusetts, Amherst)

[powerpoint slides]

Session VII: Testing
Chair: Gregg Rothermel (Oregon State University)

• A Framework for Testing Database Applications
  David Chays, Saikat Dan, and Phyllis G. Frankl (Polytechnic University), Filippos Vokolos (Lucent Technologies), Elaine J. Weyuker (AT&T Labs Research)
  [powerpoint slides]
• jRapture: A Capture/Replay Tool for Observation-Based Testing
  John Steven, Pravir Chandra, and Andy Podgurski (Case Western Reserve University)
  [powerpoint slides]
• Testability, Fault Size and the Domain-to-Range Ratio:An Eternal Triangle
  Martin R. Woodward (University of Liverpool), Zuhoor A. Al-Khanjari (Sultan Qaboos University, Sultanate of Oman)

[powerpoint slides]

• Black-Box Test Reduction Using Input-Output Analysis
  Patrick J. Schroeder and Bogdan Korel (Illinois Institute of Technology)
[powerpoint slides]

Session VIII: State of the Art and Future Directions Report
Chair: Michal Young (University of Oregon)

• Testing Component-Based Software
  Invited Speaker: Craig H. Wittenberg (Development Manager, Component Applications Group, Microsoft Research)

[powerpoint slides]

7:00 Out in Portland

Thursday, 24 August 2000

Session IX / FMSP Session I: FMSP Opening and Keynote Address

• Welcome: Debra J. Richardson, General Chair
• Opening Remarks: Mats Heimdahl: FMSP Program Chair (University of Minnesota)
• Model Checking Java Programs
  Invited Speaker: David Dill (Associate Professor, Computer Science Department, Stanford University)

[powerpoint slides]

Session X: Concurrency Analysis (FMSP Attendees welcome)
Chair: Lori Clarke (University of Massachusetts, Amherst)

• Slicing Concurrent Programs
  Mangala Gowri Nanda (IBM Research Laboratory, India), S. Ramesh (Indian Institute of Technology, Bombay, India)

[powerpoint slides]
• Improving the Precision of INCA by Preventing Spurious Cycles
  Stephen F. Siegel and George S. Avrunin (University of Massachusetts, Amherst)

[powerpoint slides]
• A Thread-Aware Debugger with an Open Interface
  Daniel Schulz and Frank Mueller (Humboldt University, Berlin, Germany)

[pdf slides]

12:00 -12:15 ISSTA Closing

• Symposium Wrap-up
  Program Chair: Mary Jean Harrold (Georgia Institute of Technology)
  General Chair: Debra J. Richardson (University of California, Irvine)

Issta 2000 Pictures

Back to top of this page

Back to ISSTA 2000 Home Page

This page is maintained by Mary Jean Harrold (harrold@cc.gatech.edu).

Last modified: Saturday, August 26, 2000.