16. ISSRE 2005: Chicago, IL, USA

Introduction

• Welcome from the General Co-Chairs.
  
• Welcome from the Program Committee Co-Chairs.
  
• Organizing Committee.
  
• Program Committee.
  

Panel: How Should Software Reliability Engineering Be Taught?

• John D. Musa, Laurie A. Williams:
  How Should Software Reliability Engineering Be Taught? 3
  
• John D. Musa:
  Teaching SRE to Software Practitioners. 4
  
• Laurie A. Williams:
  Teaching an Active-Participation University Course in Software Reliability and Testing. 5
  
• Mario R. Garzia:
  Software Development SRE Needs. 6
  
• Carol Smidts:
  Teaching SRE in a Diverse Graduate Student Context. 7
  
• Will Snipes, John P. Hudepohl:
  Designing an SRE Program for Commercial Software Organizations. 8
  

Dependability and Safety Analysis

• Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau:
  Benchmarking the Dependability of Windows and Linux Using PostMark Workloads. 11-20
  
• Jing Liu, Josh Dehlinger, Robyn R. Lutz:
  Safety Analysis of Software Product Lines Using State-Based Modeling. 21-30
  
• Sebastian G. Elbaum, Kalyan-Ram Chilakamarri, Bhuvana Gopal, Gregg Rothermel:
  Helping End-Users "Engineer" Dependable Web Applications. 31-40
  

Software Reliability

• Katerina Goseva-Popstojanova, Margaret Hamill, Ranganath Perugupalli:
  Large Empirical Case Study of Architecture-Based Software Reliability. 43-52
  
• Petar Popic, Dejan Desovski, Walid Abdelmoez, Bojan Cukic:
  Error Propagation in the Reliability Analysis of Component Based Systems. 53-62
  
• Bing Huang, Xiaojun Li, Ming Li, Joseph B. Bernstein, Carol Smidts:
  Study of the Impact of Hardware Fault on Software Reliability. 63-72
  

Coverage and Testing Strategy

• J. Jenny Li:
  Prioritize Code for Testing to Improve Code Coverage of Complex Software. 75-84
  
• Nachiappan Nagappan, Laurie A. Williams, Jason Osborne, Mladen A. Vouk, Pekka Abrahamsson:
  Providing Test Quality Feedback Using Static Source Code and Automatic Test Suite Metrics. 85-94
  
• Lionel C. Briand, Yvan Labiche, Q. Lin:
  Improving Statechart Testing Criteria Using Data Flow Information. 95-104
  

Reliability for Network and Communication Protocols

• Sergio Mena, Claudio Basile, Zbigniew Kalbarczyk, André Schiper, Ravi K. Iyer:
  Assessing the Crash-Failure Assumption of Group Communication Protocols. 107-116
  
• Yangfan Zhou, Michael R. Lyu:
  PORT: A Price-Oriented Reliable Transport Protocol for Wireless Sensor Networks. 117-126
  

Vulnerability Assessment

• Omar H. Alhazmi, Yashwant K. Malaiya:
  Modeling the Vulnerability Discovery Process. 129-138
  
• Matin Tamizi, Matt Weinstein, Michel Cukier:
  Automated Checking for Windows Host Vulnerabilities. 139-148
  
• Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi:
  Markovian Modeling and Analysis of Internet Worm Propagation. 149-158
  

Reliability Modeling and Analysis

• Xia Cai, Michael R. Lyu, Mladen A. Vouk:
  An Experimental Evaluation on Reliability Features of N-Version Programming. 161-170
  
• Eduardo Oliveira Costa, Silvia Regina Vergilio, Aurora Trinidad Ramirez Pozo, Gustavo A. de Souza:
  Modeling Software Reliability Growth with Genetic Programming. 171-180
  
• Mohammad Zib Beiroumi:
  High Available Mobile Infrastructure Applications. 181-190
  

Software Fault Model and Quality Prediction

• Paul Luo Li, James D. Herbsleb, Mary Shaw:
  Forecasting Field Defect Rates Using a Combined Time-Based and Metrics-Based Approach: A Case Study of OpenBSD. 193-202
  
• Robert E. Mullen, Swapna S. Gokhale:
  Software Defect Rediscoveries: A Discrete Lognormal Model. 203-212
  
• Fei Xing, Ping Guo, Michael R. Lyu:
  A Novel Method for Early Software Quality Prediction Based on Support Vector Machine. 213-222
  

Test Generation

• Jiang Zheng, Brian Robinson, Laurie A. Williams, Karen Smiley:
  An Initial Study of a Lightweight Process for Change Identification and Regression Test Selection When Source Code Is Not Available. 225-234
  
• Soumen Maity, Amiya Nayak:
  Improved Test Generation Algorithms for Pair-Wise Testing. 235-244
  
• Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, R. Gupta, Q. Zhang:
  Data Dependence Based Testability Transformation in Automated Test Generation. 245-254
  

Software Testing

• Wuzhi Xu, Jeff Offutt, Juan Luo:
  Testing Web Services by XML Perturbation. 257-266
  
• Yong Lei, James H. Andrews:
  Minimization of Randomized Unit Test Cases. 267-276
  
• Tao Xie, David Notkin:
  Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. 277-287
  

Techniques and Tools

• Allen P. Nikora:
  Classifying Requirements: Towards a More Rigorous Analysis of Natural-Language Specifications. 291-300
  
• Abdesselam Lakehal, Ioannis Parissis:
  Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. 301-310
  
• David Leon, Andy Podgurski, William Dickinson:
  Visualizing Similarity between Program Executions. 311-321
  

Testing Concurrent and Multimodal Systems

• Laya Madani, Catherine Oriat, Ioannis Parissis, Jullien Bouchet, Laurence Nigay:
  Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach. 325-334
  
• Jiale Huo, Alexandre Petrenko:
  Covering Transitions of Concurrent Systems through Queues. 335-345
  
• Yu Lei, Richard H. Carver:
  A New Algorithm for Reachability Testing of Concurrent Programs. 346-355