Program: November 30 Conference Day

 

Time

Nov 30
09:30 - 12:30

Tracks 1/2/3

12:30 - 13:30

Lunch

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

 

Time

November 30, Track 1

09:00 -10:30

4A. Testing Internet and Multimedia Systems

Session Chair:  Bojan Cukic, West Virginia University, USA cukic@eecs.wvu.edu

 

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

bjchoi@mm.ewha.ac.kr

 

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

Suet Chun Lee and Jeff Offutt

George Mason University, Fairfax, Virginia, USA

ofut@ise.gmu.edu 

 

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

scc@cs.ust.hk

 

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

5A. Software Testing Experiments

Session Chair:  Noel Samaan, Motorola Research Labs, USA  noel.samaan@motorola.com 

 

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

chevalle@laas.fr

 

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

bassinka@us.ibm.com 

 

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

6A. Software Architecture

Session Chair:  John C. Knight, University of Virginia, USA knight@cs.virginia.edu

 

Automatic and Portable Native Code Isolation

Grzegorz Czajkowski, Laurent Daynès, and Mario Wolczko

Sun Microsystems Laboratories, Mountain View, California, USA

grzegorz.czajkowski@sun.com

Deriving Tests From Software Architectures

Zhenyi Jin

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

Jeff Offutt

George Mason University, Fairfax, Virginia, USA

ofut@ise.gmu.edu

 

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

bastani@utdallas.edu

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

bbaudry@irisa.fr

 

15:10 - 15:30

Break

15:30 - 16:30

ISSRE Lessons Learned

 

 

November 30, Track 2

 

Time

November 30, Track 2

09:00 - 10:30

4B. Formal Approaches to Software Reliability

Session Chair:  Katerina Goševa-Popstojanova, Duke University, USA katerina@ee.duke.edu

 

A Simulation Based Trainer for Software Reliability Modeling

Edward L. Jones and Aubrey J. Rembert

Florida A&M University , Tallahassee, Florida, USA

ejones@cis.famu.edu

 

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

cangussu@cs.purdue.edu

 

Tool Support for Production Use of Formal Techniques

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

University of Virginia, Charlottesville, Virginia, USA

knight@cs.virginia.edu

 

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

5B. Coverage and Testing Strategies

Session Chair:  Jeff Offut, George Mason University, USA   ofut@ise.gmu.edu

 

Coverage Analysis for Message Flows

Netta Aizenbud-Reshef

IBM Haifa Research Lab, Matam, Haifa, Israel

neta@il.ibm.com

 

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

briand@sce.carleton.ca

 

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

6B. Measurement Field Data and Experience

Session Chair:  Fevzi Belli, University of Paderborn, Germany  belli@upb.de

 

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

djeske@lucent.com

 

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

Claes.Wohlin@bth.se

 

Measurement-Based Availability of Unix Systems in a Distributed Environment

Cristina Simache and Mohamed Kaâniche

LAAS-CNRS, Toulouse, France

crina@laas.fr

 

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

pasquini@casaccia.enea.it

 

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

 

 

November 30, Track 3

 

Time

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
Trees
Ganesh J. Pai 
Joanne Bechta Dugan

University of Virginia, USA
 

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

Zhao Hui-Qun 
Sun Jing
Gao Yuan

Northeastern University, China
 

 

Testing


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