Make your own free website on

ISSRE 2003 Home

Call for papers

Important dates

Paper Submission


Conference program


Hotel information

About Denver


14th. 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    
              Clmentine Nebut, Franck Fleurey, Yves Le Traon and Jean-Marc Jzquel              
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 Jrme 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