16. ISSRE 2005: Chicago, IL, USA

16th International Symposium on Software Reliability Engineering (ISSRE 2005), 8-11 November 2005, Chicago, IL, USA. IEEE Computer Society 2005, ISBN 0-7695-2482-6 BibTeX

Introduction

Welcome from the General Co-Chairs.
Electronic Edition (link) BibTeX
Welcome from the Program Committee Co-Chairs.
Electronic Edition (link) BibTeX
Organizing Committee.
Electronic Edition (link) BibTeX
Program Committee.
Electronic Edition (link) BibTeX

Panel: How Should Software Reliability Engineering Be Taught?

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

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
Electronic Edition (link) BibTeX
Jing Liu, Josh Dehlinger, Robyn R. Lutz:
Safety Analysis of Software Product Lines Using State-Based Modeling. 21-30
Electronic Edition (link) BibTeX
Sebastian G. Elbaum, Kalyan-Ram Chilakamarri, Bhuvana Gopal, Gregg Rothermel:
Helping End-Users "Engineer" Dependable Web Applications. 31-40
Electronic Edition (link) BibTeX

Software Reliability

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

Coverage and Testing Strategy

J. Jenny Li:
Prioritize Code for Testing to Improve Code Coverage of Complex Software. 75-84
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Lionel C. Briand, Yvan Labiche, Q. Lin:
Improving Statechart Testing Criteria Using Data Flow Information. 95-104
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Yangfan Zhou, Michael R. Lyu:
PORT: A Price-Oriented Reliable Transport Protocol for Wireless Sensor Networks. 117-126
Electronic Edition (link) BibTeX

Vulnerability Assessment

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

Reliability Modeling and Analysis

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

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
Electronic Edition (link) BibTeX
Robert E. Mullen, Swapna S. Gokhale:
Software Defect Rediscoveries: A Discrete Lognormal Model. 203-212
Electronic Edition (link) BibTeX
Fei Xing, Ping Guo, Michael R. Lyu:
A Novel Method for Early Software Quality Prediction Based on Support Vector Machine. 213-222
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Soumen Maity, Amiya Nayak:
Improved Test Generation Algorithms for Pair-Wise Testing. 235-244
Electronic Edition (link) BibTeX
Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, R. Gupta, Q. Zhang:
Data Dependence Based Testability Transformation in Automated Test Generation. 245-254
Electronic Edition (link) BibTeX

Software Testing

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

Techniques and Tools

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

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
Electronic Edition (link) BibTeX
Jiale Huo, Alexandre Petrenko:
Covering Transitions of Concurrent Systems through Queues. 335-345
Electronic Edition (link) BibTeX
Yu Lei, Richard H. Carver:
A New Algorithm for Reachability Testing of Concurrent Programs. 346-355
Electronic Edition (link) BibTeX