Program: November 30 Conference Day



Nov 30
09:30 - 12:30

Tracks 1/2/3

12:30 - 13:30


13:30 - 15:00

Tracks 1/2/3

15:00 - 15:30 Break
15:30 - 16:30 ISSRE'2001 Lessons Learned



November 30, Track 1



November 30, Track 1

09:00 -10:30

4A. Testing Internet and Multimedia Systems

Session Chair:  Bojan Cukic, West Virginia University, USA


An Auto-Generating Tool for the MPEG-2 Formatted Test Data:  ATEP

Sunhwa Yeum, Taehee Gwak, and Byoungju Choi

Ewha Womans University, Seoul, Korea

Kiwung Park

Samsung Electronics Company, Korea


Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis

Suet Chun Lee and Jeff Offutt

George Mason University, Fairfax, Virginia, USA 


Toward Generic Timing Tests for Distributed Multimedia Software Systems

Sing Chi Cheung, Samuel T. Chanson, and Zhendong Xu

Hong Kong University of Science and Technology, Hong Kong, China


10:30 - 11:00 Break
11:00 - 12:00

5A. Software Testing Experiments

Session Chair:  Noel Samaan, Motorola Research Labs, USA 


An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams:  The Flight Guidance System Case Study

Philippe Chevalley and Pascale Thévenod-Fosse

LAAS-CNRS, Toulouse, France


Evaluating the Software Test Strategy for the 2000 Sydney Olympics

Kathryn Bassin, Shriram Biyani, and Peter Santhanam

IBM T.J. Watson Research Center, Yorktown Heights, New York, USA 


12:30 - 13:30 Lunch
13:30 - 15:10

6A. Software Architecture

Session Chair:  John C. Knight, University of Virginia, USA


Automatic and Portable Native Code Isolation

Grzegorz Czajkowski, Laurent Daynès, and Mario Wolczko

Sun Microsystems Laboratories, Mountain View, California, USA

Deriving Tests From Software Architectures

Zhenyi Jin

ITT Industries, Advanced Engineering and Sciences, Reston, Virginia, USA

Jeff Offutt

George Mason University, Fairfax, Virginia, USA


Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs

Farokh B. Bastani, I-Ling Yen, and Kim Sung

University of Texas at Dallas, Richardson, Texas, USA

John Linn

Texas Instruments, Inc., USA

Kashi Rao

Alcatel, USA

Towards a "Safe" Use of Design Patterns to Improve OO Software Testability

Benoit Baudry, Yves LeTraon, and Gerson Sunyé

IRISA, Campus Universitaire de Beaulieu, Rennes, France


15:10 - 15:30


15:30 - 16:30

ISSRE Lessons Learned



November 30, Track 2



November 30, Track 2

09:00 - 10:30

4B. Formal Approaches to Software Reliability

Session Chair:  Katerina Goševa-Popstojanova, Duke University, USA


A Simulation Based Trainer for Software Reliability Modeling

Edward L. Jones and Aubrey J. Rembert

Florida A&M University , Tallahassee, Florida, USA


Feedback Control of the Software Test Process Through Measurements of Software Reliability

João Cangussu, Raymond A. DeCarlo, and Aditya P. Mathur

Purdue University, West Lafayette, Indiana, USA


Tool Support for Production Use of Formal Techniques

John C. Knight, Kimberly S. Hanks, and Sean R. Travis

University of Virginia, Charlottesville, Virginia, USA


10:30 - 11:00 Break
11:00 - 12:00

5B. Coverage and Testing Strategies

Session Chair:  Jeff Offut, George Mason University, USA


Coverage Analysis for Message Flows

Netta Aizenbud-Reshef

IBM Haifa Research Lab, Matam, Haifa, Israel


Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles

Lionel C. Briand, Yvan Labiche, and Yihong Wang

Carleton University, Ottawa, Ontario, Canada


12:30 - 13:30 Lunch
13:30 - 15:10

6B. Measurement Field Data and Experience

Session Chair:  Fevzi Belli, University of Paderborn, Germany


Accounting for Realities When Estimating the Field Failure Rate of Software

Daniel Jeske, Xuemei Zhang, and Loan Pham

Bell Laboratories, Lucent Technologies, Holmdel, New Jersey, USA


Defect Content Estimation for Two Reviewers

Claes Wohlin

Blekinge Institute of Technology, Ronneby, Sweden

Håkan Petersson, Martin Höst, and Per Runeson 

Lund Institute of Technology, Lund University, Lund, Sweden


Measurement-Based Availability of Unix Systems in a Distributed Environment

Cristina Simache and Mohamed Kaâniche

LAAS-CNRS, Toulouse, France


Quantitative Evaluation and Operative Usage of Interactive Systems

Alberto Pasquini

ENEA, Rome, Italy

Antonio Rizzo and Luca Save

University of Siena, Siena, Italy

M.A. Sujan 

University of Karlsruhe, Karlsruhe, Germany


15:10 - 15:30 Break
15:30 - 16:30 ISSRE Lessons Learned



November 30, Track 3



November 30, Track 3

09:00 -10:30

Fast Abstracts Session 3:  Analysis and Testing


Reliability Modeling

Reliability Optimization for Software Systems With Multiple Applications
Naruemon Wattanapongsakorn, King Mongkut's University of Technology, Thailand

Regression Goodness-Of-Fit for Software Reliability Model Validation
M. Xie 
B. Yang

O. Gaudoin

National University of Singapore, Singapore

Enhancing Software Reliability Estimation Using Bayesian Networks and Fault
Ganesh J. Pai 
Joanne Bechta Dugan

University of Virginia, USA

A New Method for Estimating the Reliability of Software System Based on

Zhao Hui-Qun 
Sun Jing
Gao Yuan

Northeastern University, China



Quantitative Identification of Non-Dependable Modules and Signals in Software

Martin Hiller
Arshad Jhumka
Vilgot Claesson
Neeraj Suri

Chalmers University, Sweden

A Software Tool for Verification of Network Configuration
Ramalingam Swaminathan
Baljinder Sandhu
Nita Goel
Pulak Dhar 

Cistel Technology, Canada

A New Test Data Selection Strategy for Testing Boolean Specifications
Noritaka Kobayashi 
Tatsuhiro Tsuchiya
Tohru Kikuno

Osaka University, Japan


10:30 - 11:00 Break
11:00 - 12:30

Panel 4


A Framework for Distributed Component Test Certification Facility - Conformity and Compliance Testing

  • Sita Ramakrishnan, Monash University, Australia
  • Christine Mingins, Monash University, Australia
  • Jean-Marc Jezequel, Rennes, France
  • Andreas Ulrich, Siemens AG, München, Germany
12:30 - 13:30 Lunch
13:30 - 15:00


15:00 - 15:30 Break
15:30 - 16:30 ISSRE Lessons Learned