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]

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.