Slides of Presentations
Pictures of Conference Activities and Attendees

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]


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 (

  • [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 (

Last modified: Saturday, August 26, 2000.