MONDAY: March 2, 1998
8:45 AM - 9:00 AM
Welcoming remarks and general information
9:00-10:30am
Keynote: Mike DeWalt, Federal Aviation Administration
11 AM - 12:30 PM
Session 1: Static Analysis
- Constructing Compact Models of Concurrent Java Programs
James C. Corbett, University of Hawaii.
- Computation of Interprocedural Control Dependencies
Mary Jean Harrold, Ohio State University,
Gregg Rothermel, Oregon State University, and
Saurabh Sinha, Ohio State University
- Comparing Flow and Context Sensitivity on the Modification-side-effects
Problem
Philip A. Stocks, Barbara G. Ryder, William A. Landi, and Sean Zhang,
Rutgers University.
12:30-2:00 Lunch
2-3:00 PM
Session 2: Evaluation of Testing
- An Experiment in Estimating Reliability Growth Under Both Representative and
Directed Testing
Brian Mitchell and Steven J. Zeil, Old Dominion University.
- On Random and Partition Testing
Simeon Ntafos, University of Texas at Dallas.
3:30-5:00 PM
Session 3: Panel: Most Influential Papers in Testing Research
Panelists to be announced
6:00 reception
TUESDAY, March 3, 1998
9:00-10:15 AM Invited talk
Rodger Sherman, Former Director of Testing, Microsoft Corporation,
"Shipping the Right Software at the Right Time"
11 AM - 12:30 PM
Session 4: Test Data Generation
- Automatic Test Data Generation using Constraint Solving Techniques
Arnaud Gotlieb, Bernard Botella, and Michel Rueher, Dassault Electronique.
- An Applicable Test Data Generation Algorithm for Domain Errors
Istvan Forgacs and Akos Hajnal, Hungarian Academy of Sciences.
- Automated Program Flaw Finding using Simulated Annealing
Nigel J. Tracey, John Clark, and Keith Mander, University of York.
12:30 - 2:00 Lunch
2:00- 3:00 PM
Session 5: Test Automation
- A Visual Test Development Environment for GUI Systems
Thomas Ostrand, Aaron Anodide, Herbert Foster, and Tarak Goradia,
Siemens Corporate Research.
- Automatic Interoperability Test Generation for Source-to-Source Translators
Mark Molloy, Kristy Andrews, James Herren, David Cutler, and Paul Del Vigna,
Tandem Computers.
3:30-5:00 PM
Session 6: Model Checking
- Improving Efficiency of Symbolic Model Checking for State-Based System
Requirements
William Chan, Richard J. Anderson, Paul Beame, and David Notkin,
University of Washington
- Verifying Systems with Integer Constraints and Boolean Predicates: A
Composite Approach
Tevfik Bultan, Richard Gerber, and Christopher League,
University of Maryland.
- Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a
Telephone Switch using VeriSoft
Patrice Godefroid, Robert S. Hanmer, and Lalita Jategaonkar Jagadeesan,
Lucent Technologies.
6:00 New Results Section
WEDNESDAY: March 4
9:00 - 10:30 AM
Session: Structural Testing
- On the Limit of Control Flow Analysis for Regression Test Selection
Thomas Ball,
Bell Laboratories.
- Automated Regression Test Generation
Bogdan Korel and Ali M. Al-Yami,
Illinois Institute of Technology.
- All-du-path Coverage for Parallel Programs
Cheer-Sun Yang, Amie Souter, and Lori Pollock,
University of Delaware.
11:00 AM - 12:00 PM
Panel: (Joint session with FMSP 98) ``If you could spend $1M extra
this year on improving software quality, how would you allocate it?''
Panelists to be announced