ISSRE #5 2002


Current News (Home)

Introduction to ISSRE

Organizers & Program Committee

Agenda

Conference Registration

Hotel Registration



CFP: WOSA

Important Dates

Sponsors

Archive
    Agenda

The following agenda is tentative and changes may be made. Please check back here for the most current conference schedule, as more details will be added in the coming weeks.


Tuesday, 12 November 2002: Tutorial Day
Time Track 1 Track 2 Track 3 Track 4
08:30-10:00

More Reliable Software Faster and Cheaper, by John D. Musa (T1)

Testing Object-Oriented Software, by Dr. David C. Kung (T3)

Software Reliability and Rejuvenation: Modeling and Analysis, by Dr. Kishor S. Trivedi and Dr. Kalyanaraman Vaidyanathan (T5)

WOSA
10:00-10:30
Break
10:30-12:30

More Reliable Software Faster and Cheaper, by John D. Musa (T1)

Testing Object-Oriented Software, by Dr. David C. Kung (T3)

Software Reliability and Rejuvenation: Modeling and Analysis, by Dr. Kishor S. Trivedi and Dr. Kalyanaraman Vaidyanathan (T5)

WOSA
12:30-01:30
Lunch
01:30-03:30
CANCELLED

SRE of Web Site Construction, by Dr. Norman Schneidewind (T2)

Introduction to Computer Security: Why Security is Really a Software Issue, by Gary McGraw (T4)

Introduction to Biometrics System Assurance, by Dr. Bojan Cukic and Dr. Larry Hornak (T6)

WOSA
03:30-04:00
Break
04:00-05:30

CANCELLED

SRE of Web Site Construction, by Dr. Norman Schneidewind (T2)

Introduction to Computer Security: Why Security is Really a Software Issue, by Gary McGraw (T4)

Introduction to Biometrics System Assurance, by Dr. Bojan Cukic and Dr. Larry Hornak (T6)

WOSA
06:30-08:30
Reception


Wednesday, 13 November 2002: Industry Practice Day
Time Track 1 Track 2 Track 3
8:00-8:30
Opening Remarks
8:30-9:30
Keynote: Is it time to redefine software engineering?, Amitabh Srivastava, Distinguished Engineer/Director, Programming Productivity Research Center Microsoft Research
9:30-10:00
Break
10:00-11:30

Automated Testing

Automating Reliability Testing

Model-based Approach to Security Test Automation

Automated Generation of Self-Checking Function Tests

Software Reliability

Requirements Risk versus Reliability

A Taxonomy of Causes of Software Vulnerabilities in Internet Software

Predicting the Impact of of Requirement Changes on Software Reliability

Modeling and Analysis

Evaluation of S-dependence in Software Reliability Modeling

Steady State Markov Modeling and Its Excel Implementation for 1 to N Redundant System with Imperfect Switchover

A New Testing-Path Coverage Measure: Testing-Domain Metrics Based on a Software Reliability Growth Model

11:30-1:00
Lunch
1:00-2:00
Keynote: Achieving quality in a dynamic environment, Craig Miller, CTO, Dimension Data North America
2:00-2:30
Break
2:30-4:00

Empirical Software Engineering

Network Vulnerability From Memory Abuse and Experimented Software Defect Detection

Failure Acceleration reduces error propagation: Fault Injection Experiments on NFS

Maturity of Testing Technique Knowledge

Trustworthy Systems

Lessons Learned in Developing Trustworthily Software for Safety Critical Systems

e-Business Reliability through CMMI and Six Sigma

Quality Assurance for Document Understanding Systems

Panel

Everything You Wanted to Know About Software Reliability Engineering But Didn't Know Who to Ask... William W. Everett, Karama Kanoun, Dr. Michael R. Lyu, John D. Musa, Dr. Norman F. Schneidewind, Prof. Mladen A. Vouk

4:00-4:15
Break
4:15-5:45

Managing Software Quality

Combined with Trustworthy Systems

New Paradigms and Techniques

Will AOP Improve Software Quality?

Using Aspect-Oriented Programming to Address Security Concerns

Automatic Fault Tolerance for Applications

Panel

Risk and Security Management in Outsourcing



Thursday, 14 November 2002
Time Track 1 Track 2 Track 3 Track 4
8:30-9:30
Keynote: Everyday Dependability for Everyday Needs, Mary Shaw, A.J. Perlis Professor of Computer Science, Carnegie Mellon University
9:30-10:00
Break
10:00-11:30

Testing with Formal Methods

Session chair:
Jean-Claude Laprie,
LAAS-CNRS, France

Testing Processes from Formal Specifications with Inputs, Outputs and data types

Saturation Effects in Testing of Formal Models

Informal Proof Analysis Towards Testing Enhancement

Reliability Modeling

Session chair:
Sachin Garg,
Avaya Labs, USA

Heterogeneous Software Reliability Modeling

A Reliability Estimator for Model Based Software Testing

Reliability Prediction and Sensitivity Analysis Based on Software Architecture

Failure Detection and Recovery

Session chair:
Michael R. Lyu,
Computer Science & Engineering Dept., The Chinese University of Hong Kong, China

Automatic Failure Detection, Logging, and Recovery for High-Availability Java Servers

The Impact of Recovery Mechanisms on the Likelihood of Saving Corrupted State

The Architecture and Performance of Automatically Generated Dependability Wrappers

Student Posters

11:30-1:00
Lunch
1:00-2:00
Keynote, Donald Ferguson, IBM Fellow and IBM WebSphere Architect
2:00-2:30
Break
2:30-4:00

Assessment of Testing

Session chair:
Harald Stieber,
University of Applied Sciences, Germany

Metrics for Measuring the Effectiveness of Software-Testing Tools

Optimal Allocation of Testing Resources for Modular Software Systems

On Estimating Testing Effort Needed to Assure Field Quality in Software Development

High Availability Software Maintenance

Session chair:
Norm Schneidewind,
Naval Postgraduate School, USA

A Framework for Live Software Upgrade

Modeling and Analysis of Software Rejuvenation in Cable Modem Termination System

Dependability Analysis of a Client/Server Software System with Rejuvenation

Fast Abstracts

Session chair:
Ram Chillarege,
Chillarege Inc., USA

Security

Component based/object-oriented software reliability

Modeling

4:00-4:15
Break
4:15-5:45

Testing Technologies

Session chair:
Yashwant Malaiya
Colorado State University, USA

Data Coverage Testing

Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment

Fault Detection Capabilities of Coupling-based OO Testing

System Analysis

Session chair:
Sherif Yacoub
HP Labs, USA

Improving Usefulness of Software Quality Classification Models Based on Boolean Discriminant Functions

Fault Contribution Trees for Product Families

Automatic Synthesis of Dynamic Fault Trees from UML System Models

Panel

Open-source Software: More or Less Secure and Reliable?... Jeff Offutt, GMU; Ron Ritchey, Booz-Allen; Brendan Murphy, Microsoft; Mike Shaver, Cluster File Systems/Mozilla

Student posters continued

Ends at 5pm

5:45-6:30
Break
6:30-10:00
Banquet


Friday, 15 November 2002
Time Track 1 Track 2 Track 3
8:30-9:30
Keynote: TBA, Ravi Iyer, Professor, University of Illinois
9:30-10:00
Break
10:00-11:30

Practical Experience with Testing

Session chair:
Jeff Offutt,
George Mason University, USA

Test Reuse in the Spreadsheet Paradigm

A Case Study Using the Round-Trip Strategy for State-Based Class Testing

An Empirical Study of Tracing Techniques from a Failure Analysis Perspective

Reliability Prediction and Analysis

Session chair:
Katerina Goseva-Popstojanova,
West Virginia University, USA

Worst Case Reliability Prediction Based on a Prior Estimate of Residual Defects

A Vector Markov Model for Structural Coverage Growth and the Number of Failure Occurrences

Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-Passing Programs

Fast Abstracts

Session chair:
Sachin Garg,
Avaya Labs, USA

Internet, E-Business and Software

Testing

Formal Methods

11:30-1:00
Lunch
1:00-2:30

Software Mutation

Session chair:
Aditya Mathur,
Purdue University, USA

Emulation of software faults by educated mutations at machine-code level

Mutation of Java Objects

Inter-Class Mutation Operators for Java

Reliability Assessment

Session chair:
Linda Rosenberg,
NASA, USA

Reliability Assessment of Framework-Based Distributed Embedded Software Systems

Effect of Disturbances on the Convergence of Failure Intensity

Toward a Quantifiable Definition of Software Faults

Fast Abstracts

Session chair:
Dr. Khalid Lateef,
Titan Systems, Inc., USA

Software Process and Metrics

Networked and Distributed Systems Dependability

2:30-3:30
Student Presentations
3:30-4:30
Closing Session




© 2002,2003, issre2002.org all rights reserved,
Header photo #6 courtesy Annapolis & Anne Arundel
County Conference & Visitors Bureau.