The Community for Technology Leaders
2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) (2003)
Denver, Colorado
Nov. 17, 2003 to Nov. 21, 2003
ISSN: 1071-9458
ISBN: 0-7695-2007-3
TABLE OF CONTENTS

Preface (PDF)

pp. ix

Reviewers (PDF)

pp. xiii
Session 1A: Test Effectiveness I

Detection or Isolation of Defects? An Experimental Comparison of Unit Testing and Code Inspection (Abstract)

Per Runeson , Lund University, Sweden
Anneliese Andrews , Washington State University, Pullman, WA
pp. 3

A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing (Abstract)

L. C. Briand , Carleton University, Ottawa, Canada
Y. Labiche , Carleton University, Ottawa, Canada
Y. Wang , Carleton University, Ottawa, Canada
pp. 14

Optimal Resource Allocation for the Quality Control Process (Abstract)

Bijendra Vishal , Indian Institute of Technology Kanpur, India
Pankaj Jalote , Indian Institute of Technology Kanpur, India
pp. 26

Test-Driven Development as a Defect-Reduction Practice (Abstract)

Mladen Vouk , North Carolina State University
Laurie Williams , North Carolina State University
E. Michael Maximilien , IBM Corporation and North Carolina State University
pp. 34
Session 1B: Requirements Analysis

A New Software Testing Approach Based on Domain Analysis of Specifications and Programs (Abstract)

Michael R. Lyu , Chinese University of Hong Kong
Ruilian Zhao , Beijing University of Chemical Technology
Yinghua Min , Chinese Academy of Sciences in Beijing
pp. 60

Static Specification Analysis for Termination of Specification-Based Data Structure Repair (Abstract)

Brian Demsky , Massachusetts Institute of Technology
Martin Rinard , Massachusetts Institute of Technology
pp. 71

Requirements by Contracts allow Automated System Testing (Abstract)

Cl?mentine Nebut , IRISA, France
Franck Fleurey , IRISA, France
Yves Le Traon , IRISA, France
Jean-Marc J?z?quel , IRISA, France
pp. 85
Session 2A: Test Effectiveness II

Coverage Criteria for Logical Expressions (Abstract)

Jeff Offutt , George Mason University, Fairfax, VA
Paul Ammann , George Mason University, Fairfax, VA
Hong Huang , George Mason University, Fairfax, VA
pp. 99

Anomalies as Precursors of Field Failures (Abstract)

Anneliese Amschler Andrews , Washington State University, Pullman, WA
Sebastian Elbaum , University of Nebraska - Lincoln, Nebraska
Satya Kanduri , University of Nebraska - Lincoln, Nebraska
pp. 108

An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering (Abstract)

Zubin Huang , The Chinese University of Hong Kong
Sam K. S. Sze , The Chinese University of Hong Kong
Michael R. Lyu , The Chinese University of Hong Kong
Xia Cai , The Chinese University of Hong Kong
pp. 119
Session 2B: Secure Systems

Forensic Analysis for Tamper Resistant Software (Abstract)

Jeffery Lotspiech , IBM Almaden Research Center, San Jose, CA
Hongxia Jin , IBM Almaden Research Center, San Jose, CA
pp. 133

A Framework for Tamper Detection Marking of Mobile Applications (Abstract)

Mike Jochen , University of Delaware
Lori L. Pollock , University of Delaware
Lisa M. Marvel , U.S. Army Research Laboratory
pp. 143

High-Assurance Synthesis of Security Services from Basic Microservices (PDF)

Farokh B. Bastani , Univ. of Texas at Dallas
I-Ling Yen , Univ. of Texas at Dallas
Sung Kim , Univ. of Texas at Dallas
Ing-Ray Chen , Virginia Tech (VPI&SU)
pp. 154
Session 2C: Formal Reliability Analysis

Shared Semantic Domains for Computational Reliability Engineering (Abstract)

Robert R. Painter , The College of William and Mary
Kevin J. Sullivan , The University of Virginia
David Coppit , The College of William and Mary
pp. 169

Enhanced Testing of Domain Specific Applications by Automatic Extraction of Axioms from Functional Specifications (Abstract)

A. Sinha , University of Maryland
A. Moran , Galois Connections Inc.
C. S. Smidts , University of Maryland
pp. 181

Thoroughness of Specification-Based Testing of Synchronous Programs (Abstract)

Ioannis Parissis , Laboratoire LSR - IMAG
J?r? Vassy , Laboratoire LSR - IMAG
pp. 191
Session 3A: Empirical Studies and Tools

Automating the Analysis of Voting Systems (Abstract)

Xiaofan Lin , Hewlett-Packard Laboratories, Palo Alto, CA
Steve Simske , Hewlett-Packard Laboratories, Palo Alto, CA
John Burns , Hewlett-Packard Laboratories, Palo Alto, CA
Sherif Yacoub , Hewlett-Packard Laboratories, Palo Alto, CA
pp. 203

A Bayesian Belief Network for Assessing the Likelihood of Fault Content (Abstract)

Yasunari Takagi , OMRON Corporation, Japan
Osamu Mizuno , Osaka University, Japan
Tohru Kikuno , Osaka University, Japan
Sousuke Amasaki , Osaka University, Japan
pp. 215

An Exploratory Study of Component Reliability Using Unit Testing (Abstract)

S. Mankefors , University of Trollh?ttan/Uddevalla
R. Torkar , University of Trollh?ttan/Uddevalla
A. Jonsson , University of Trollh?ttan/Uddevalla
K. Hansson , University of Trollh?ttan/Uddevalla
pp. 227
Session 3B: Software Reliability Modeling

Using a Log-normal Failure Rate Distribution for Worst Case Bound Reliability Prediction (Abstract)

Peter G. Bishop , Adelard and Centre for Software Reliability
Robin E. Bloomfield , Adelard and Centre for Software Reliability
pp. 237

An Iterative Scheme for Maximum Likelihood Estimation in Software Reliability Modeling (Abstract)

Tadashi Dohi , Hiroshima University
Hiroyuki Okamura , Hiroshima University
Yasuhiro Watanabe , Hiroshima University
pp. 246

Fault Correction Profiles (Abstract)

Norman F. Schneidewind , Naval Postgraduate School
pp. 257
Session 4A: Empirical Studies

Early Warning of Failures through Alarm Analysis - A Case Study in Telecom Voice Mail Systems (Abstract)

Ram Chillarege , Comverse Technology Inc., and Chillarege Inc.
Dorron Levy , Comverse Technology Inc., and Chillarege Inc.
pp. 271

Reducing wasted development time via continuous testing (Abstract)

Michael D. Ernst , MIT Computer Science & Artificial Intelligence Lab
David Saff , MIT Computer Science & Artificial Intelligence Lab
pp. 281

User-Oriented Reliability Modeling for a Web System (Abstract)

Wen-Li Wang , Penn State University, Behrend College Erie
Mei-Huei Tang , Gannon University
pp. 293
Session 4B: Architectural Approaches I

Assessing Uncertainty in Reliability of Component-Based Software Systems (Abstract)

Sunil Kamavaram , West Virginia University, Morgantown
Katerina Goseva-Popstojanova , West Virginia University, Morgantown
pp. 307

When Does It Pay to Make Software More Reliable? (Abstract)

Joanne Bechta Dugan , University of Virginia
Ed Stoker , University of Virginia
pp. 321

Test Adequacy Assessment for UML Design Model Testing (Abstract)

Sudipto Ghosh , Colorado State University, Fort Collins
Nilesh Kawane , Colorado State University, Fort Collins
Orest Pilskalns , Washington State University, Pullman, WA
Anneliese Andrews , Washington State University, Pullman, WA
Robert France , Colorado State University, Fort Collins
Conrad Braganza , Colorado State University, Fort Collins
pp. 332
Session 4C: Panel Position Statement
Session 5A: Software Testing

A Parameterized Cost Model to Order Classes for Class-based Testing of C ++ Applications (Abstract)

Peter J. Clarke , Florida International University, Miami
Errol L. Lloyd , University of Delaware, Newark
Brian A. Malloy , Clemson University, SC
pp. 353

Exploiting Symmetries to Test Programs (Abstract)

Arnaud Gotlieb , IRISA / INRIA, France
pp. 365

Non-Intrusive Debug Technique for Embedded Programming (Abstract)

Angelica R. Moya , University of Colorado at Denver
Linda J. Moore , University of Colorado at Denver
pp. 375
Session 5B: Architectural Analysis II

Composition Analysis of QoS Properties for Adaptive Integration of Embedded Software Components (Abstract)

Farokh Bastani , University of Texas at Dallas
I-Ling Yen , University of Texas at Dallas
Hui Ma , University of Texas at Dallas
Kendra Cooper , University of Texas at Dallas
pp. 383

Augmenting Simulated Annealing to Build Interaction Test Suites (Abstract)

Charles J. Colbourn , Arizona State University, Tempe
Alan C. H. Ling , University of Vermont, Burlington
Myra B. Cohen , University of Auckland, New Zealand
pp. 394

DARX - A Framework For The Fault-Tolerant Support Of Agent Software (Abstract)

Olivier Marin , University of Le Havre; University Paris 6 - CNRS
Marin Bertier , University Paris 6 - CNRS
Pierre Sens , INRIA, France
pp. 406
Session 6A: Metrics

Investigating Java Type Analyses for the Receiver-Classes Testing Criterion (Abstract)

Ettore Merlo , ?cole Polytechnique, Montr?al, Canada
Pierre-Luc Brunelle , ?cole Polytechnique, Montr?al, Canada
Giuliano Antoniol , University of Sannio, Benevento, Italy
pp. 419

Incremental Dynamic Impact Analysis for Evolving Software Systems (Abstract)

Gregg Rothermel , Oregon State University, Corvallis
James Law , Oregon State University, Corvallis
pp. 430

A Comparison of Coverage-Based and Distribution-Based Techniques for Filtering and Prioritizing Test Cases (Abstract)

David Leon , Case Western Reserve University, Cleveland, OH
Andy Podgurski , Case Western Reserve University, Cleveland, OH
pp. 442
Session 6B: Probabilistic Analysis

Integrating Software into PRA (Abstract)

Carol Smidts , University of Maryland, College Park
Bin Li , University of Maryland, College Park
Susmita Ghose , University of Maryland, College Park
Ming Li , University of Maryland, College Park
pp. 457

New Quality Estimations in Random Testing (Abstract)

A. Boklund , University of Trollh?ttan/Uddevalla
R. Torkar , University of Trollh?ttan/Uddevalla
S. Mankefors , University of Trollh?ttan/Uddevalla
pp. 468

Maximizing Interval Reliability in Operational Software System with Rejuvenation (Abstract)

Hiroyuki Suzuki , Hiroshima University
Naoto Kaio , Hiroshima Shudo University
Tadashi Dohi , Hiroshima University
Kishor S. Trivedi , Duke University
pp. 479

Author Index (PDF)

pp. 491
103 ms
(Ver 3.1 (10032016))