Welcome from the General Chair and Program Committee Chairs

Organizing Committee (PDF)

pp. x

Program Committee (PDF)

pp. xii

Primary Reviewers (PDF)

pp. xiv

Secondary Reviewers (PDF)

pp. xv

Keynotes

Disaster Hardening for Software Systems (PDF)

C.V. Ramamoorth, University of California, Berkeley

pp. 3-4

A Perspective on Software Consumability (PDF)

Carl Kessler, IBM Software Group

pp. 5

Software Security: Building Security In (PDF)

Gary McGraw, Cigital, Inc.

pp. 6

Panel Summaries

Anything You Want to Ask About Software Reliability Engineering (PDF)

pp. 9

The Relevance of Software Modeling to the Software Industry (PDF)

pp. 10

Testing I

Scaling a Dataflow Testing Methodology to the MultiparadigmWorld of Commercial Spreadsheets (Abstract)

Marc II Fisher, University of Nebraska-Lincoln

Gregg Rothermel, University of Nebraska-Lincoln

Tyler Creelan, Oregon State University

Margaret Burnett, Oregon State University

pp. 13-22

PDF

Memoized Forward Computation of Dynamic Slices (Abstract)

Wes Masri, American University of Beirut, Lebanon

Nagi Nahas, American University of Beirut, Lebanon

Andy Podgurski, Case Western Reserve University, Cleveland, OH

pp. 23-32

PDF

Call Stack Coverage for GUI Test-Suite Reduction (Abstract)

Scott McMaster, University of Maryland, College Park, Maryland

Atif Memon, University of Maryland, College Park, Maryland

pp. 33-44

PDF

Metrics

Stabilization Time - A Quality Metric for Software Products (Abstract)

Vibhu Saujanya Sharma, Indian Institute of Technology Kanpur, India

Pankaj Jalote, Indian Institute of Technology Kanpur, India

pp. 45-51

PDF

Metrics-Based Software Reliability Models Using Non-homogeneous Poisson Processes (Abstract)

Kazuya Shibata, Hiroshima University

Koichiro Rinsaka, Hiroshima University

Tadashi Dohi, Hiroshima University

pp. 52-61

PDF

Using Historical In-Process and Product Metrics for Early Estimation of Software Failures (Abstract)

Nachiappan Nagappan, Microsoft Research

Thomas Ball, Microsoft Research

Brendan Murphy, Microsoft Research

pp. 62-74

PDF

Testing II

BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach (Abstract)

Jun Yan, Chinese Academy of Sciences

Zhongjie Li, IBM China Research Lab

Yuan Yuan, IBM China Research Lab

Wei Sun, IBM China Research Lab

Jian Zhang, Chinese Academy of Sciences

pp. 75-84

PDF

Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool (Abstract)

Erwan Brottier, France Télécom R&D

Franck Fleurey, IRISA- 35042 Rennes Cedex - France

Jim Steel, IRISA- 35042 Rennes Cedex - France

Benoit Baudry, IRISA- 35042 Rennes Cedex - France

Yves Le Traon, France Télécom R&D

pp. 85-94

PDF

A Systematic Approach to Generate Inputs to Test UML Design Models (Abstract)

Trung T. Dinh-Trong, Colorado State University

Sudipto Ghosh, Colorado State University

Robert B. France, Colorado State University

pp. 95-104

PDF

Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs (Abstract)

Besnik Seljimi, Universit? Joseph Fourier - Laboratoire LSR-IMAG

Ioannis Parissis, Universit? Joseph Fourier - Laboratoire LSR-IMAG

pp. 105-116

PDF

Security

Evaluating the Reliability of Credential Hardening through Keystroke Dynamics (Abstract)

Nick Bartlow, West Virginia University, Morgantown, WV 26506, USA

Bojan Cukic, West Virginia University, Morgantown, WV 26506, USA

pp. 117-126

PDF

A Novel SOAP Attachment-Oriented Security Model (Abstract)

Xiaoling Cui, Chinese Academy of Sciences

Lei Li, University of Science & Technology of China

Jun Wei, Chinese Academy of Sciences

pp. 127-135

PDF

An Attack Simulator for Systematically Testing Program-based Security Mechanisms (Abstract)

Ben Breech, University of Delaware

Mike Tegtmeyer, Army Research Lab, Maryland

Lori Pollock, University of Delaware

pp. 136-145

PDF

Monitoring the Security Health of Software Systems (Abstract)

Ashish Aggarwal, Indian Institute of Technology(IIT), India

Pankaj Jalote, Indian Institute of Technology(IIT), India

pp. 146-158

PDF

Testing III

Studying the Characteristics of a "Good" GUI Test Suite (Abstract)

Qing Xie, University of Maryland, College Park, MD

Atif M Memon, University of Maryland, College Park, MD

pp. 159-168

PDF

A Candidate Fault Model for AspectJ Pointcuts (Abstract)

Jon S. B?kken, Washington State University

Roger T. Alexander, Washington State University

pp. 169-178

PDF

Detecting Redundant Unit Tests for AspectJ Programs (Abstract)

Tao Xie, North Carolina State University, USA

Jianjun Zhao, Shanghai Jiao Tong University, China

Darko Marinov, University of Illinois at Urbana-Champaign, USA

David Notkin, University of Washington, USA

pp. 179-190

PDF

Experience Reports I

"Tail-Splitting" to Predict Failing Software Modules - with a Case Study on an Operating Systems Product (Abstract)

Ram Chillarege, Chillarege Inc.

P. Santhanam, IBM T.J. Watson Research Center

pp. 191-196

PDF

Adequacy, Accuracy, Scalability, and Uncertainty of Architecture-based Software Reliability: Lessons Learned from Large Empirical Case Studies (Abstract)

Katerina Go?seva-Popstojanova, West Virginia University, Morgantown, WV

Margaret Hamill, West Virginia University, Morgantown, WV

Xuan Wang, West Virginia University, Morgantown, WV

pp. 197-203

PDF

Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation (Abstract)

Gunnar Kudrjavets, Microsoft Corporation, Redmond, WA

Nachiappan Nagappan, Microsoft Research, Redmond, WA

Thomas Ball, Microsoft Research, Redmond, WA

pp. 204-212

PDF

Experience Reports II

Tool-Supported Verification of Contingency Software Design in Evolving, Autonomous Systems (Abstract)

Robyn Lutz, Jet Propulsion Lab/Caltech and Iowa State University

Ann Patterson-Hine, NASA Ames Research Center

Anupa Bajwa, UARC, NASA Ames

pp. 213-220

PDF

Testing During Refactoring: Adding Aspects to Legacy Systems (Abstract)

Michael Mortensen, Hewlett-Packard

Sudipto Ghosh, Colorado State University

James M. Bieman, Colorado State University

pp. 221-230

PDF

Model Simulation for Test Execution Capacity Estimation (Abstract)

Eduardo Aranha, Federal University of Pernambuco, Brazil

Paulo Borba, Federal University of Pernambuco, Brazil

Jos? Lima, Mobile Devices R&D Motorola Industrial Ltda

pp. 231-236

PDF

Modeling the Performance of Border Inspections with Electronic Travel Documents (Abstract)

Paola Bracchi, West Virginia University, USA

Bojan Cukic, West Virginia University, USA

Vittorio Cortellessa, Universita degli Studi di L?Aquila, Italy

pp. 237-246

PDF

Testing IV

On the Effect of Fault Removal in Software Testing - Bayesian Reliability Estimation Approach (Abstract)

Hiroyuki Okamura, Hiroshima University, Japan

Hitoshi Furumura, Hiroshima University, Japan

Tadashi Dohi, Hiroshima University, Japan

pp. 247-255

PDF

A State Exploration-Based Approach to Testing Java Monitors (Abstract)

Yu Lei, University of Texas at Arlington

Richard Carver, George Mason University

David Kung, University of Texas at Arlington

Vidur Gupta, University of Texas at Arlington

Monica Hernandez, University of Texas at Arlington

pp. 256-265

PDF

Web Application Testing with Customized Test Requirements - An Experimental Comparison Study (Abstract)

Sreedevi Sampath, University of Delaware

Sara Sprenkle, University of Delaware

Emily Gibson, University of Delaware

Lori Pollock, University of Delaware

pp. 266-278

PDF

Modeling I

Combining Replication with Transaction Processing for Enhanced Reliability in J2EE (Abstract)

Lin Zuo, Chinese Academy of Sciences, Beijing, P.R. China

Shaohua Liu, Chinese Academy of Sciences, Beijing, P.R. China

Jun Wei, Chinese Academy of Sciences, Beijing, P.R. China

pp. 279-288

PDF

Building Phase-Type Software Reliability Models (Abstract)

Hiroyuki Okamura, Hiroshima University, Japan

Tadashi Dohi, Hiroshima University, Japan

pp. 289-298

PDF

Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs (Abstract)

Vibhu Saujanya Sharma, Indian Institute of Technology Kanpur, India

Kishor S. Trivedi, Duke University,

pp. 299-310

PDF

Static and Dynamic Analysis

Mining Interface Specifications for Generating Checkable Robustness Properties (Abstract)

Mithun Acharya, North Carolina State University

Tao Xie, North Carolina State University

Jun Xu, North Carolina State University

pp. 311-320

PDF

Effectively Combining Software Verification Strategies: Understanding Different Assumptions (Abstract)

David Owen, West Virginia University, Morgantown, WV

Dejan Desovski, West Virginia University, Morgantown, WV

Bojan Cukic, West Virginia University, Morgantown, WV

pp. 321-330

PDF

Probe Distribution Techniques to Profile Events in Deployed Software (Abstract)

Madeline Diep, University of Nebraska - Lincoln

Myra Cohen, University of Nebraska - Lincoln

Sebastian Elbaum, University of Nebraska - Lincoln

pp. 331-342

PDF

Modeling II

Measuring and Enhancing Prediction Capabilities of Vulnerability Discovery Models for Apache and IIS HTTP Servers (Abstract)

Omar H. Alhazmi, Colorado State University

Yashwant K. Malaiya, Colorado State University

pp. 343-352

PDF

Queuing Models for Field Defect Resolution Process (Abstract)

Swapna S. Gokhale, Univ. of Connecticut

Robert E. Mullen, Cisco Systems, Boxborough, MA

pp. 353-362

PDF

Softgoal Traceability Patterns (Abstract)

Jesse Fletcher, DePaul University

Jane Cleland-Huang, DePaul University

pp. 363-374

PDF

Tools

DevCOP: A Software Certificate Management System for Eclipse (Abstract)

Mark Sherriff, North Carolina State University

Laurie Williams, North Carolina State University

pp. 375-384

PDF

CAA-DRIP: a framework for implementing Coordinated Atomic Actions (Abstract)

A. Capozucca, LASSY, University of Luxembourg, Luxembourg

N. Guelfi, LASSY, University of Luxembourg, Luxembourg

P. Pelliccione, LASSY, University of Luxembourg, Luxembourg

A. Romanovsky, University of Newcastle upon Tyne - UK

A. Zorzo, Pontifical Catholic University of RS - Brazil

pp. 385-394

PDF

Author Index

Author Index (PDF)

pp. 395