14^th. IEEE International Symposium on Software Reliability Engineering
ISSRE 2003
Extending the Reach of Software Reliability Engineering
Denver, Colorado Nov 17-20, 2003



Please click here for printer friendly version

Monday, November 17, 2003 - Tutorials and WOSA

8:00 AM - 10:00 AM (Parallel Sessions)

Tutorial 1: John Musa

Workshop on Software Assurance (WOSA)

10:00 AM - 10:30 AM

Break

10:30 AM - 12:30 PM (Parallel Sessions)

Tutorial 1: John Musa (Continued)

Workshop on Software Assurance (WOSA - Continued)

12:30 PM - 1:30 PM

Lunch

1:30 PM - 3:30 PM (Parallel Sessions)

Tutorial 2: Bojan Cukic

Workshop on Software Assurance (WOSA - Continued)

3:30 PM - 4:00 PM

Break

4:00 PM - 5:30 PM (Parallel Sessions)

Tutorial 2: Bojan Cukic (Continued)

Workshop on Software Assurance (WOSA Continued)

5:30 PM - 6:30 PM

Nothing Scheduled

6:30 PM - 8:30 PM

Reception

Tuesday, November 18, 2003 - Industry Practice Day

8:00 AM - 8:30 AM

Opening Remarks

8:30 AM - 9:30 AM

Keynote Address: Nicholas Bowen, IBM

9:30 AM - 10:00 AM

Break

10:00 AM - 11:30 AM (Parallel Sessions)

A-1: Testing Techniques

B-1: Development Methodology

Session C-1: New Session

Acceleration and Optimization of Defect Detection over Covered Tests

Application of IEEE Standard Dictionary of Measures of the Software Aspects of Dependability

Jun Xu, Chen Li & Xiangrong Wang, Cisco Systems

Norman Schneidewind, Naval Postgraduate School

Branch Coverage Testing and Visualization for Domain Specific Languages

Hongjun Zheng & Ira Baxter, Semantic Designs

Is Software Error Estimation Compatible with Agile Development Teams?

Jon Hagar, lmco

The example of improving quality of imbedded system software applied to automated software test methods

Preparation Effort in Effective Code Inspections

Sang-Seop Han, In-Seung Yang, Eunju Kim, & Sang Deuk Park, Samsung

Zoran Matic & Robert Stoddard, Motorola

11:30 AM - 1:00 PM

Lunch

1:00 PM - 2:00 PM

Keynote Address: Paul England, Microsoft

2:00 PM - 2:30 PM

Break

2:30 PM - 4:00 PM (Parallel Sessions)

A-2: Testing Distributed Environments

B-2: Understanding Quality of Service

C-2 Fast Abstracts I

Analysis of Communication Traces to Improve Reliability of Distributed Systems

Automatic Detection of Service Degradation in Telecom Systems

Security and Reliability, Assurance and Modeling

Antonio Mendes da Silva Filho, Marcio Ken Iti Doi, Andre Morales & Paula Lima, State University of Maringa

Andreas Ulrich, Siemens

Intelligent SAN Test Framework (INSAT)

Quality of Service for Web Services - "Demystification, Limitations & Best Practice"

Komateswar Dhanadevan & M. Satish Kumar, HP

Rajesh Sumra & D. Arulazi, HP

Experience with a Profile-based Automated Testing Environment

Robert Binder, Mobile Systems Verification

QoS and Reliability in Smart Homes

Niranjan Dhanakoti, Satyam Computer Services

4:00 PM - 4:15 PM

Break

4:15 PM - 5:45 PM (Parallel Sessions)

A-3: Approaches to Reliability Improvement

B-3: Measuring Reliability and Availability

C-3: Panel

Software Failure Models and Effect Analysis - Techniques and Methods

Measuring and Improving System Availability - Field Performance and In-Process Metrics

Open Source Software - A Recipe for Vulnerable Software, or the Only Way to Keep Bugs and Bad Guys Out?

Kannan Sundaram, Robert Stoddard, Moruf Olaosebikan, Todd Peterson & Edward Vraney, Motorola

Stephen Kan & Diane Manlove, IBMá

Coordinatorá - Saurabh Bagchi and H.

Resilience for Autonomous Agents

System Reliability and Availability Measurement Methodology

Miranda Mowbray & Matthew M. Williamson, HP

Alex George & Michael G. Becker, HPá

Implementing Process and Quality Improvements During Difficult Economic Times

Estimating Reliability and Availability of Enterprise Software: A Practitioners' Experience

Richard Cheatham, IBM Printing Systems

Shubhashis Sengupta & Prakash Vishwanathan, Infosys Technologiesá

Data-Driven with Data Mining for Reliability

A Tool for Calculating Software Reliability Predictions Based on Latent Fault Density

Robert Wen, AP Technology

Jon Peterson, Raytheon

6:30 PM - 8:30 PM

Bus Ride to Denver Downtown and Back

Wednesday, November 19, 2003 - Research Day 1

8:15 AM - 8:30 AMá

Opening Remarks

8:30 AM - 9:30 AM

Keynote Address: Dr. Bhavani Thuraisingham, NSF

9:30 AM - 10:00 AM

Break

10:00 AM - 12:00 PM (Parallel Sessions)

1A. Test Effectiveness I

1B. Requirement Analysis

1C. Student Papers

Detection or Isolation of Defect? An Experimental Comparison of Unit Testing and Code Inspection

Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project

Student Paper Details

Per Runeson and Anneliese Andrews

Jane Huffman Hayes

Towards a Comprehensive and Systematic Methodology for Class Integration Testing

A New Software Testing Approach Based on Demand Analysis of Specification and Programs

L.C. Briand, Y. Labiche and Y. Wang

Ruilian Zhao, Michael R. Lyu and Yinghua Min

Optimal resource allocation for the quality control process

Static Specification Analysis for Termination of Specification-Based Data Structure Repair

Pankaj Jalote, Bijendra Vishal

Brian Demsky and Martin Rinard

Test-driven Development as a Defect-reduction Practice

Laurie Williams, E. Michael Maximilien and Mladen Vouk

Requirements by Contracts Allow Automated System Testing

Cl‰mentine Nebut, Franck Fleurey, Yves Le Traon and Jean-Marc J‰z‰quel

12:00 PM - 1:30 PM

Lunch

1:30 PM - 3:00 PM (Parallel Sessions)

2A. Test Effectiveness II

2B. Secure Systems

2C. Formal Reliability Analysis

Coverage Criteria for Logical Expressions

Tamper Resistance for Software Protection

Shared Semantic Domains for Computational Reliability Engineering

Paul Ammann, Jeff Offutt and Hong Huang

Hongxia Jin and Jeffery Lotspich

David Coppit, Robert R. Painter, and Kevin J. Sullivan

Anomalies and Precursors of Field Failures

A Framework for Tamper Detection Marking of Mobile Applications

Enhanced Testing of Domain Specific Applications by Automatic Extractions of Axioms from Functional Specifications

Sebastian Elbaum, Satya Kanduri and Anneliese Andrews

Mike Jochen, Lisa M. Marvel and Lori L. Pollock

Avik Sinha, Carol Smidts and Andy Moran

An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering

High Assurance Synthesis of Security Services from Basic Microservices

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

Thoroughness of Specification-Based Testing of Synchronous Software

Michael R. Lyu, Zubin Huang and Sam K.S. Sze

Ioannis Parissis and J‰rŸme Vassy

3:00 PM - 3:30 PM

Break

3:30 PM - 5:00 PM (Paralel Sessions)

3A. Empirical Studies and Tools

3B. Software Reliability Modeling

3C. Fast Abstracts IIá

Automating the Analysis of Voting Systems

Using a Log-Normal Failure Rate Distribution for Worst Case Bound Reliability Prediction

Network/Distributed Systems Reliability Engineering; Validation/Verification

Sherif Yacoub, Xiaofan Lin, Steve Simske and John Burn

PG Bishop and RE Bloomfield

A Bayesian Belief Network for Predicting Residual Faults in Software Products

An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling

Sousuke Amasaki, Yasunari Takagi, Osamu Mizuno, and Tohru Kikuno

Hiroyuki Okamura, Yasuhiro Watanabe and Tadashi Dohi

A Exploratory Study of Component Reliability Using Unit Testing

R. Torkar, S. Mankefors, K. Hansson and A. Jonsson

Fault Correction Profiles

Dr. Norman F. Schneidewind

5:00 PM - 6:30 PM

Nothing Scheduled

6:30 PM - 8:00 PM

Banquet

Thursday, November 20, 2003 - Research Day 2

8:30 AM - 9:30 AM

Keynote Address: Professor Barry Boehm

9:30 AM - 10:00 AM

Break

10:00 AM - 11:30 AM (Parallel Sessions)

4A. Empirical Studies

4B. Architectural Approaches I

4C. Panel

Early Warning of Failure Through Alarm Analysis - A Case Study n Telecom Voice Mail Systems

Assessing Uncertainty in Reliability of Component-Based Software Systems

Katerina Goseva-Popstojanova and Sunil Kamavaram

Dorron Levy and Ram Chillarege

When Does it Pay to Make Software More Reliable?

Reducing Wasted Development Time via Continuous Testing

Ed Stoker and Joanne Bechta Dugan

David Saff and D. Ernst

Test Adequacy Assessment for UML Design Model Testing

User-Oriented Reliability Modeling for a Web System

Sudipto Ghosh, Robert France, Conrad Braganza, Nilesh Kawane, Anneliese Andrews and Orest Pilskalns

Wen-Li Wang and Mei-Huei Tang

11:30 AM - 1:00 PM

Lunch

1:00 PM - 2:30 PM (Parallel Sessions)

5A. Software Testing

5B. Architectural Approaches II

5C. Fast Abstracts III

A Parametrized Cost Model to Order Classes for Class-Based Testing of C++ Applications

Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components

Software Reliability: Architecture, Practice and Tools

Brian A. Malloy, Peter J. Clarke and Errol L. Lloyd

Hui Ma, I-Ling Yen, Farokh Bastani and Kendra Cooper

Exploiting Symmetries to Test Programs

Augmenting Simulated Annealing to Build Interaction Test Suites

Arnaud Gotlieb

Myra B. Cohen, Charles J. Colbourn and Alan C.H. Ling

Non-intrusize Debug Technique for Embedded Programming

Darx - A Framework for the Fault-Tolerant Support of Agent Software

Linda J. Moore, Angelica R. Moya

Olivier Marin, Marin Bertier and Pierre Sens

2:30 PM - 3:00 PM

Break

3:00 PM - 4:30 PM (Parallel Sessions)

6A. Metrics

6B. Probabilistic Analysis

6C. Fast Abstracts IV

Investigating Java Type Analyses for the Receiver-Classes Testing Criterion

Integrating Software into PRA

Software Testing: Methodology, Effectiveness and Empirical Studies

Pierre-Luc Brunelle, Ettore Merlo and Giuliano Antoniol

Bin Li, Ming Li, Susmita Ghose, Carol Smidts

Incremental Dynamic Impact Analysis for Evolving Software Systems

New Quality Estimations in Random Testing

James Law and Gregg Rothermel

S. Mankefors, R. Torkar and A. Boklund

A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases

Maximizing Interval Reliability in Operational Software System with Rejuvenation

David Leon and Andy Podgurski

H. Suzuki, T. Dohi, N. Kaio and K. S. Trivedi

4:40 PM - 5:30 PM

Closing Remarks: ISSRE 2004 Overview