CSDL - Proceedings I

Welcome from the Program Committee Co-Chairs (PDF)

pp. x

Organizing Committee (PDF)

pp. xi

Program Committee (PDF)

pp. xii

Panel: How Should Software Reliability Engineering Be Taught?

How Should Software Reliability Engineering Be Taught? (PDF)

pp. 3

Teaching SRE to Software Practitioners (PDF)

John D. Musa

pp. 4

Teaching an Active-Participation University Course in Software Reliability and Testing (PDF)

Laurie Williams

pp. 5

Software Development SRE Needs (PDF)

Mario R. Garzia, Microsoft

pp. 6

Teaching SRE in a Diverse Graduate Student Context (PDF)

Carol Smidts

pp. 7

Designing an SRE Program for Commercial Software Organizations (PDF)

Will Snipes, Nortel

John Hudepohl, Nortel

pp. 8

Dependability and Safety Analysis

Benchmarking the Dependability of Windows and Linux Using PostMark™ Workloads (Abstract)

Karama Kanoun, LAAS-CNRS

Yves Crouzet, LAAS-CNRS

Ali Kalakech, LAAS-CNRS

Ana-Elena Rugina, LAAS-CNRS

Philippe Rumeau, LAAS-CNRS

pp. 11-20

PDF

Safety Analysis of Software Product Lines Using State-Based Modeling (Abstract)

Jing Liu, Iowa State University

Josh Dehlinger, Iowa State University

Robyn Lutz, Iowa State University and Jet Propulsion Laboratory

pp. 21-30

PDF

Helping End-Users "Engineer" Dependable Web Applications (Abstract)

Sebastian Elbaum, University of Nebraska-Lincoln

Kalyan-Ram Chilakamarri, University of Nebraska-Lincoln

Bhuvana Gopal, University of Nebraska-Lincoln

Gregg Rothermel, University of Nebraska-Lincoln

pp. 31-40

PDF

Software Reliability

Large Empirical Case Study of Architecture-Based Software Reliability (Abstract)

Katerina Goševa-Popstojanova, West Virginia University

Margaret Hamill, West Virginia University

Ranganath Perugupalli, West Virginia University

pp. 43-52

PDF

Error Propagation in the Reliability Analysis of Component Based Systems (Abstract)

Petar Popic, West Virginia University

Dejan Desovski, West Virginia University

Walid Abdelmoez, West Virginia University

Bojan Cukic, West Virginia University

pp. 53-62

PDF

Study of the Impact of Hardware Fault on Software Reliability (Abstract)

Bing Huang, University of Maryland at College Park

Xiaojun Li, University of Maryland at College Park

Ming Li, University of Maryland at College Park

Joseph Bernstein, University of Maryland at College Park

Carol Smidts, University of Maryland at College Park

pp. 63-72

PDF

Coverage and Testing Strategy

Prioritize Code for Testing to Improve Code Coverage of Complex Software (Abstract)

J. Jenny Li, Avaya Labs Research

pp. 75-84

PDF

Providing Test Quality Feedback Using Static Source Code and Automatic Test Suite Metrics (Abstract)

Nachiappan Nagappan, Microsoft Research

Laurie Williams, North Carolina State University

Jason Osborne, North Carolina State University

Mladen Vouk, North Carolina State University

Pekka Abrahamsson, VTT Technical Research Center of Finland

pp. 85-94

PDF

Improving Statechart Testing Criteria Using Data Flow Information (Abstract)

L. C. Briand, Carleton University

Y. Labiche, Carleton University

Q. Lin, Carleton University

pp. 95-104

PDF

Reliability for Network and Communication Protocols

Assessing the Crash-Failure Assumption of Group Communication Protocols (Abstract)

Sergio Mena, École Polytechnique Fédérale de Lausanne

Claudio Basile, University of Illinois at Urbana-Champaign

Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign

André Schiper, École Polytechnique Fédérale de Lausanne

Ravi K. Iyer, University of Illinois at Urbana-Champaign

pp. 107-116

PDF

PORT: A Price-Oriented Reliable Transport Protocol for Wireless Sensor Networks (Abstract)

Yangfan Zhou, Chinese University of Hong Kong

Michael R. Lyu, Chinese University of Hong Kong

pp. 117-126

PDF

Vulnerability Assessment

Modeling the Vulnerability Discovery Process (Abstract)

O. H. Alhazmi, Colorado State University

Y. K. Malaiya, Colorado State University

pp. 129-138

PDF

Automated Checking for Windows Host Vulnerabilities (Abstract)

Matin Tamizi, University of Maryland at College Park

Matt Weinstein, University of Maryland at College Park

Michel Cukier, University of Maryland at College Park

pp. 139-148

PDF

Markovian Modeling and Analysis of Internet Worm Propagation (Abstract)

Hiroyuki Okamura, Hiroshima University

Hisashi Kobayashi, Hiroshima University

Tadashi Dohi, Hiroshima University

pp. 149-158

PDF

Reliability Modeling and Analysis

An Experimental Evaluation on Reliability Features of N-Version Programming (Abstract)

Xia Cai, Chinese University of Hong Kong

Michael R. Lyu, Chinese University of Hong Kong

Mladen A. Vouk, North Carolina State University

pp. 161-170

PDF

Modeling Software Reliability Growth with Genetic Programming (Abstract)

Eduardo Oliveira Costa, Federal University of Paraná

Silvia R. Vergilio, Federal University of Paraná

Aurora Pozo, Federal University of Paraná

Gustavo Souza, Federal University of Paraná

pp. 171-180

PDF

High Available Mobile Infrastructure Applications (Abstract)

Mohammad Zib Beiroumi, Motorola A/S

pp. 181-190

PDF

Software Fault Model and Quality Prediction

Forecasting Field Defect Rates Using a Combined Time-Based and Metrics-Based Approach: A Case Study of OpenBSD (Abstract)

Paul Luo Li, Carnegie Mellon University

Jim Herbsleb, Carnegie Mellon University

Mary Shaw, Carnegie Mellon University

pp. 193-202

PDF

Software Defect Rediscoveries: A Discrete Lognormal Model (Abstract)

Robert E. Mullen, Cisco Systems

Swapna S. Gokhale, University of Connecticut

pp. 203-212

PDF

A Novel Method for Early Software Quality Prediction Based on Support Vector Machine (Abstract)

Fei Xing, Beijing Normal University

Ping Guo, Beijing Normal University and Chinese University of Hong Kong

Michael R. Lyu, Chinese University of Hong Kong

pp. 213-222

PDF

An Initial Study of a Lightweight Process for Change Identification and Regression Test Selection When Source Code Is Not Available (Abstract)

Test Generation

Jiang Zheng, North Carolina State University

Brian Robinson, ABB Inc.

Laurie Williams, North Carolina State University

Karen Smiley, ABB Inc.

pp. 225-234

PDF

Improved Test Generation Algorithms for Pair-Wise Testing (Abstract)

Soumen Maity, Indian Institute of Technology - Guwahati

Amiya Nayak, University of Ottawa

pp. 235-244

PDF

Data Dependence Based Testability Transformation in Automated Test Generation (Abstract)

Bogdan Korel, Illinois Institute of Technology

Mark Harman, King?s College London

S. Chung, Illinois Institute of Technology

P. Apirukvorapinit, Illinois Institute of Technology

R. Gupta, Illinois Institute of Technology

Q. Zhang, Illinois Institute of Technology

pp. 245-254

PDF

Software Testing

Testing Web Services by XML Perturbation (Abstract)

Wuzhi Xu, George Mason University

Jeff Offutt, George Mason University

Juan Luo, George Mason University

pp. 257-266

PDF

Minimization of Randomized Unit Test Cases (Abstract)

Yong Lei, University of Western Ontario

James H. Andrews, University of Western Ontario

pp. 267-276

PDF

Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs (Abstract)

Tao Xie, North Carolina State University

David Notkin, University of Washington

pp. 277-287

PDF

Techniques and Tools

Classifying Requirements: Towards a More Rigorous Analysis of Natural-Language Specifications (Abstract)

Allen P. Nikora, Jet Propulsion Laboratory/California Institute of Technology

pp. 291-300

PDF

Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs (Abstract)

Abdesselam Lakehal, Laboratoire LSR-IMAG

Ioannis Parissis, Laboratoire LSR-IMAG

pp. 301-310

PDF

David Leon, Corporacion NGS

Andy Podgurski, Case Western Reserve University

William Dickinson, Fused MultiModality Imaging

pp. 311-321

PDF

Testing Concurrent and Multimodal Systems

Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach (Abstract)

Laya Madani, Laboratoire LSR-IMAG

Catherine Oriat, Laboratoire LSR-IMAG

Ioannis Parissis, Laboratoire LSR-IMAG

Jullien Bouchet, Laboratoire CLIPS-IMAG

Laurence Nigay, Laboratoire CLIPS-IMAG

pp. 325-334

PDF

Covering Transitions of Concurrent Systems through Queues (Abstract)

Jiale Huo, McGill University

Alexandre Petrenko, Centre de recherche informatique de Montr?al (CRIM)

pp. 335-345

PDF

A New Algorithm for Reachability Testing of Concurrent Programs (Abstract)

Yu Lei, University of Texas at Arlington

Richard Carver, George Mason University

pp. 346-355

PDF

Author Index

Author Index (PDF)

pp. 357