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)

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)

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)

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)

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

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

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

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

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

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

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

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