The Community for Technology Leaders
2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (2006)
Raleigh, North Carolina
Nov. 7, 2006 to Nov. 10, 2006
ISSN: 1071-9458
ISBN: 0-7695-2684-5
TABLE OF CONTENTS
Introduction
Keynotes

Disaster Hardening for Software Systems (PDF)

C.V. Ramamoorth , University of California, Berkeley
pp. 3-4
Panel Summaries
Testing I

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

Tyler Creelan , Oregon State University
Marc II Fisher , University of Nebraska-Lincoln
Margaret Burnett , Oregon State University
Gregg Rothermel , University of Nebraska-Lincoln
pp. 13-22

Memoized Forward Computation of Dynamic Slices (Abstract)

Nagi Nahas , American University of Beirut, Lebanon
Andy Podgurski , Case Western Reserve University, Cleveland, OH
Wes Masri , American University of Beirut, Lebanon
pp. 23-32

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

Atif Memon , University of Maryland, College Park, Maryland
Scott McMaster , University of Maryland, College Park, Maryland
pp. 33-44
Metrics

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

Pankaj Jalote , Indian Institute of Technology Kanpur, India
Vibhu Saujanya Sharma , Indian Institute of Technology Kanpur, India
pp. 45-51

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

Tadashi Dohi , Hiroshima University
Koichiro Rinsaka , Hiroshima University
Kazuya Shibata , Hiroshima University
pp. 52-61
Testing II

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

Yuan Yuan , IBM China Research Lab
Zhongjie Li , IBM China Research Lab
Jian Zhang , Chinese Academy of Sciences
Wei Sun , IBM China Research Lab
Jun Yan , Chinese Academy of Sciences
pp. 75-84

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

Benoit Baudry , IRISA- 35042 Rennes Cedex - France
Jim Steel , IRISA- 35042 Rennes Cedex - France
Franck Fleurey , IRISA- 35042 Rennes Cedex - France
Yves Le Traon , France Télécom R&D
Erwan Brottier , France Télécom R&D
pp. 85-94

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

Sudipto Ghosh , Colorado State University
Robert B. France , Colorado State University
Trung T. Dinh-Trong , Colorado State University
pp. 95-104

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

Ioannis Parissis , Universit? Joseph Fourier - Laboratoire LSR-IMAG
Besnik Seljimi , Universit? Joseph Fourier - Laboratoire LSR-IMAG
pp. 105-116
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

A Novel SOAP Attachment-Oriented Security Model (Abstract)

Jun Wei , Chinese Academy of Sciences
Lei Li , University of Science & Technology of China
Xiaoling Cui , Chinese Academy of Sciences
pp. 127-135

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

Mike Tegtmeyer , Army Research Lab, Maryland
Lori Pollock , University of Delaware
Ben Breech , University of Delaware
pp. 136-145

Monitoring the Security Health of Software Systems (Abstract)

Pankaj Jalote , Indian Institute of Technology(IIT), India
Ashish Aggarwal , Indian Institute of Technology(IIT), India
pp. 146-158
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

A Candidate Fault Model for AspectJ Pointcuts (Abstract)

Roger T. Alexander , Washington State University
Jon S. B?kken , Washington State University
pp. 169-178

Detecting Redundant Unit Tests for AspectJ Programs (Abstract)

Darko Marinov , University of Illinois at Urbana-Champaign, USA
David Notkin , University of Washington, USA
Tao Xie , North Carolina State University, USA
Jianjun Zhao , Shanghai Jiao Tong University, China
pp. 179-190
Experience Reports I

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

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

Gunnar Kudrjavets , Microsoft Corporation, Redmond, WA
Thomas Ball , Microsoft Research, Redmond, WA
Nachiappan Nagappan , Microsoft Research, Redmond, WA
pp. 204-212
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
Anupa Bajwa , UARC, NASA Ames
Ann Patterson-Hine , NASA Ames Research Center
pp. 213-220

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

Michael Mortensen , Hewlett-Packard
James M. Bieman , Colorado State University
Sudipto Ghosh , Colorado State University
pp. 221-230

Model Simulation for Test Execution Capacity Estimation (Abstract)

Paulo Borba , Federal University of Pernambuco, Brazil
Jos? Lima , Mobile Devices R&D Motorola Industrial Ltda
Eduardo Aranha , Federal University of Pernambuco, Brazil
pp. 231-236

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

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

Hiroyuki Okamura , Hiroshima University, Japan
Tadashi Dohi , Hiroshima University, Japan
Hitoshi Furumura , Hiroshima University, Japan
pp. 247-255

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

Richard Carver , George Mason University
Vidur Gupta , University of Texas at Arlington
Yu Lei , University of Texas at Arlington
David Kung , University of Texas at Arlington
Monica Hernandez , University of Texas at Arlington
pp. 256-265

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

Lori Pollock , University of Delaware
Sreedevi Sampath , University of Delaware
Sara Sprenkle , University of Delaware
Emily Gibson , University of Delaware
pp. 266-278
Modeling I

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

Lin Zuo , Chinese Academy of Sciences, Beijing, P.R. China
Jun Wei , Chinese Academy of Sciences, Beijing, P.R. China
Shaohua Liu , Chinese Academy of Sciences, Beijing, P.R. China
pp. 279-288

Building Phase-Type Software Reliability Models (Abstract)

Hiroyuki Okamura , Hiroshima University, Japan
Tadashi Dohi , Hiroshima University, Japan
pp. 289-298
Static and Dynamic Analysis

Mining Interface Specifications for Generating Checkable Robustness Properties (Abstract)

Tao Xie , North Carolina State University
Mithun Acharya , North Carolina State University
Jun Xu , North Carolina State University
pp. 311-320

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

Bojan Cukic , West Virginia University, Morgantown, WV
David Owen , West Virginia University, Morgantown, WV
Dejan Desovski , West Virginia University, Morgantown, WV
pp. 321-330

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

Sebastian Elbaum , University of Nebraska - Lincoln
Madeline Diep , University of Nebraska - Lincoln
Myra Cohen , University of Nebraska - Lincoln
pp. 331-342
Modeling II

Queuing Models for Field Defect Resolution Process (Abstract)

Swapna S. Gokhale , Univ. of Connecticut
Robert E. Mullen , Cisco Systems, Boxborough, MA
pp. 353-362

Softgoal Traceability Patterns (Abstract)

Jesse Fletcher , DePaul University
Jane Cleland-Huang , DePaul University
pp. 363-374
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

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

A. Zorzo , Pontifical Catholic University of RS - Brazil
P. Pelliccione , LASSY, University of Luxembourg, Luxembourg
A. Capozucca , LASSY, University of Luxembourg, Luxembourg
A. Romanovsky , University of Newcastle upon Tyne - UK
N. Guelfi , LASSY, University of Luxembourg, Luxembourg
pp. 385-394
Author Index

Author Index (PDF)

pp. 395
84 ms
(Ver )