The Community for Technology Leaders
2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (2005)
Chicago, Illinois
Nov. 8, 2005 to Nov. 11, 2005
ISSN: 1071-9458
ISBN: 0-7695-2482-6
TABLE OF CONTENTS
Introduction
Introduction
Panel: How Should Software Reliability Engineering Be Taught?
Dependability and Safety Analysis

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

Robyn Lutz , Iowa State University and Jet Propulsion Laboratory
Jing Liu , Iowa State University
Josh Dehlinger , Iowa State University
pp. 21-30

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

Sebastian Elbaum , University of Nebraska-Lincoln
Kalyan-Ram Chilakamarri , University of Nebraska-Lincoln
Gregg Rothermel , University of Nebraska-Lincoln
Bhuvana Gopal , University of Nebraska-Lincoln
pp. 31-40
Software Reliability

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

Ranganath Perugupalli , West Virginia University
Margaret Hamill , West Virginia University
Katerina Goševa-Popstojanova , West Virginia University
pp. 43-52

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

Dejan Desovski , West Virginia University
Walid Abdelmoez , West Virginia University
Bojan Cukic , West Virginia University
Petar Popic , West Virginia University
pp. 53-62

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

Ming Li , University of Maryland at College Park
Joseph Bernstein , University of Maryland at College Park
Bing Huang , University of Maryland at College Park
Xiaojun Li , University of Maryland at College Park
Carol Smidts , University of Maryland at College Park
pp. 63-72
Coverage and Testing Strategy

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

Laurie Williams , North Carolina State University
Pekka Abrahamsson , VTT Technical Research Center of Finland
Jason Osborne , North Carolina State University
Mladen Vouk , North Carolina State University
Nachiappan Nagappan , Microsoft Research
pp. 85-94

Improving Statechart Testing Criteria Using Data Flow Information (Abstract)

Q. Lin , Carleton University
L. C. Briand , Carleton University
Y. Labiche , Carleton University
pp. 95-104
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
Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
André Schiper , École Polytechnique Fédérale de Lausanne
Claudio Basile , University of Illinois at Urbana-Champaign
Ravi K. Iyer , University of Illinois at Urbana-Champaign
pp. 107-116

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

Michael R. Lyu , Chinese University of Hong Kong
Yangfan Zhou , Chinese University of Hong Kong
pp. 117-126
Vulnerability Assessment

Modeling the Vulnerability Discovery Process (Abstract)

O. H. Alhazmi , Colorado State University
Y. K. Malaiya , Colorado State University
pp. 129-138

Automated Checking for Windows Host Vulnerabilities (Abstract)

Matt Weinstein , University of Maryland at College Park
Matin Tamizi , University of Maryland at College Park
Michel Cukier , University of Maryland at College Park
pp. 139-148

Markovian Modeling and Analysis of Internet Worm Propagation (Abstract)

Tadashi Dohi , Hiroshima University
Hisashi Kobayashi , Hiroshima University
Hiroyuki Okamura , Hiroshima University
pp. 149-158
Reliability Modeling and Analysis

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

Michael R. Lyu , Chinese University of Hong Kong
Xia Cai , Chinese University of Hong Kong
Mladen A. Vouk , North Carolina State University
pp. 161-170

Modeling Software Reliability Growth with Genetic Programming (Abstract)

Silvia R. Vergilio , Federal University of Paraná
Eduardo Oliveira Costa , Federal University of Paraná
Aurora Pozo , Federal University of Paraná
Gustavo Souza , Federal University of Paraná
pp. 171-180
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)

Mary Shaw , Carnegie Mellon University
Jim Herbsleb , Carnegie Mellon University
Paul Luo Li , Carnegie Mellon University
pp. 193-202

Software Defect Rediscoveries: A Discrete Lognormal Model (Abstract)

Swapna S. Gokhale , University of Connecticut
Robert E. Mullen , Cisco Systems
pp. 203-212

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
Test Generation

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

Amiya Nayak , University of Ottawa
Soumen Maity , Indian Institute of Technology - Guwahati
pp. 235-244

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

Q. Zhang , Illinois Institute of Technology
P. Apirukvorapinit , Illinois Institute of Technology
R. Gupta , Illinois Institute of Technology
Mark Harman , King?s College London
S. Chung , Illinois Institute of Technology
Bogdan Korel , Illinois Institute of Technology
pp. 245-254
Software Testing

Testing Web Services by XML Perturbation (Abstract)

Wuzhi Xu , George Mason University
Juan Luo , George Mason University
Jeff Offutt , George Mason University
pp. 257-266

Minimization of Randomized Unit Test Cases (Abstract)

Yong Lei , University of Western Ontario
James H. Andrews , University of Western Ontario
pp. 267-276

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
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

Visualizing Similarity between Program Executions (Abstract)

David Leon , Corporacion NGS
William Dickinson , Fused MultiModality Imaging
Andy Podgurski , Case Western Reserve University
pp. 311-321
Testing Concurrent and Multimodal Systems

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

Laya Madani , Laboratoire LSR-IMAG
Jullien Bouchet , Laboratoire CLIPS-IMAG
Ioannis Parissis , Laboratoire LSR-IMAG
Laurence Nigay , Laboratoire CLIPS-IMAG
Catherine Oriat , Laboratoire LSR-IMAG
pp. 325-334

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

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

Richard Carver , George Mason University
Yu Lei , University of Texas at Arlington
pp. 346-355
Author Index

Author Index (PDF)

pp. 357
176 ms
(Ver 3.3 (11022016))