CSDL - Proceedings I

Organizing Committee (PDF)

pp. ix

Program Committee (PDF)

pp. x

Keynote

Discard the Bathtub Model for the Shower Model

Panel

Everything You Wanted to Know About Software Reliability Engineering but Didn't Know Who to Ask

OO Methods

Building Trust into OO Components Using a Genetic Analogy (Abstract)

Benoit Baudry, Universitaire de Beaulieu

Vu Le Hanh, Universitaire de Beaulieu

Jean-Marc Jézéquel, Universitaire de Beaulieu

Yves Le Traon, Universitaire de Beaulieu

pp. 4

PDF

Criteria for Testing Polymorphic Relationships (Abstract)

Roger T. Alexander, George Mason University

A. Jefferson Offutt, George Mason University

pp. 15

PDF

Thresholds for Object-Oriented Measures (Abstract)

Saida Benlarbi, Alcatel CID

Khaled El Emam, National Research Council, Canada

Nishith Goel, Cistel Technology

Shesh Rai, St. Jude Children's Research Hospital

pp. 24

PDF

Modeling

Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications (Abstract)

Tadasji Dohi, Hiroshima University

Shunji Osaki, Hiroshima University

Kishor S. Trivedi, Duke University

pp. 40

PDF

Estimating the Failure Rate of Evolving Software Systems (Abstract)

Daniel R. Jeske

M. Akber Qureshi

pp. 52

PDF

Module Size Distribution and Defect Density (Abstract)

Yashwant K. Malaiya, Colorado State University

Jason Denton, Colorado State University

pp. 62

PDF

Quantitative Software Reliability Modeling from Testing to Operation (Abstract)

Chin-Yu Huang, National Taiwan University

Sy-Yen Kuo, National Taiwan University

Jung-Hua Lo, National Taiwan University

Michael R. Lyu, Chinese University of Hong Kong

pp. 72

PDF

Testing I

Structural Testing of Web Applications (Abstract)

Chien-Hung Liu, University of Texas at Arlington

David C. Kung, University of Texas at Arlington

Pei Hsia, University of Texas at Arlington

Chih-Tung Hsu, Sun Microsystems, Inc.

pp. 84

PDF

Evaluation of Regressive Methods for Automated Generation of Test Trajectories (Abstract)

Brian J. Taylor, Institute for Software Research

Bojan Cukic, West Virginia University

pp. 97

PDF

Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences (Abstract)

Lee White, Case Western Reserve University

Husain Almezen, Case Western Reserve University

pp. 110

PDF

Quantitative Methods

Assessing the Cost-Effectiveness of Inspections by Combining Project Data and Expert Opinion (Abstract)

Lionel C. Briand, Carleton University

Bernd Freimut, Fraunhofer Institute for Engineering Experimental Software Engineering

Ferdinand Vollei, Siemens AG

pp. 124

PDF

Contributing to the Bottom Line: Optimizing Reliability-Cost-Schedule Tradeoff and Architecture Scalability through Test Technology (Abstract)

D. Boyd, AT&T

D. Cura, AT&T

W. Ehrlich, AT&T

R. Gotberg, AT&T

R. Hariharan, Prodigy Communications

P. Reeser, AT&T Labs

pp. 136

PDF

How to Measure the Impact of Specific Development Practices on Fielded Defect Density (Abstract)

Ann Marie Neufelder, SoftRel

pp. 148

PDF

Testability

Analyzing Testability on Data Flow Designs (Abstract)

Yves Le Traon, Universitaire de Beaulieu

Farid Ouabdesselam, LSR-IMAG

Chantal Robach, LCIS-ESISAR

pp. 162

PDF

A Software Falsifier (Abstract)

Daniel Brand, IBM T. J. Watson Research Center

pp. 174

PDF

Planner Based Error Recovery Testing (Abstract)

Anneliese von Mayrhauser, Colorado State University

Michael Scheetz, Colorado State University

Eric Dahlman, Colorado State University

Adele E. Howe, Colorado State University

pp. 186

PDF

Risk Assessment

Improving Tree-Based Models of Software Quality with Principal Components Analysis (Abstract)

Taghi M. Khoshgoftaar, Florida Atlantic University

Ruqun Shan, Florida Atlantic University

Edward B. Allen, Mississippi State University

pp. 198

PDF

A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics (Abstract)

Sherif M. Yacoub, West Virginia University

Hany H. Ammar, West Virginia University

Tom Robinson, West Virginia University

pp. 210

PDF

Testing Nondeterminate Systems (Abstract)

Tim Menzies, West Virginia University

Bojan Cukic, West Virginia University

Harhsinder Singh, West Virginia University

John Powell, West Virginia University

pp. 222

PDF

Measures

On the Repeatability of Metric Models and Metrics across Software Builds (Abstract)

Norman F. Schneidewind, Naval Postgraduate School

pp. 234

PDF

Ranking Software Engineering Measures Related to Reliability Using Expert Opinion (Abstract)

M. Li, University of Maryland at College Park

C. Smidts, University of Maryland at College Park

R.W. Brill, U.S. Nuclear Regulatory Commission

pp. 246

PDF

Modeling Fault-Prone Modules of Subsystems (Abstract)

Taghi M. Khoshgoftaar, Florida Atlantic University

Vishal Thaker, Florida Atlantic University

Edward B. Allen, Mississippi State University

pp. 259

PDF

Safety

Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees (Abstract)

David Coppit, University of Virginia

Kevin J. Sullivan, University of Virginia

Joanne Bechta Dugan, University of Virginia

pp. 270

PDF

Extending Fault Trees with an AND-THEN Gate (Abstract)

Pathirage Gamini Wijayarathna, University of Electro-Communications

Mamoru Maekawa, University of Electro-Communications

pp. 283

PDF

Risk Bands - A Novel Feature of Safecharts (Abstract)

Nimal Nissanke, South Bank University

Hamdan Z. Dammag, University of Reading

pp. 293

PDF

Testing II

SALT - An Integrated Environment to Automate Generation of Function Tests for APIs (Abstract)

Amit Paradkar, IBM T.J. Watson Research Center

pp. 304

PDF

Assessing the Sensitivity to Usage Profile Changes in Test Planning (Abstract)

Anders Wesslén, Lund University

Per Runeson, Lund University

Björn Regnell, Lund University

pp. 317

PDF

ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications (Abstract)

Sam K.S. Sze, Hong Kong and Shanghai Banking Corporation

Michael R. Lyu, Chinese University of Hong Kong

pp. 327

PDF

Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD (Abstract)

M. Popovic, University of Novi Sad

V. Kovacevic, University of Novi Sad

M. Skrbic, IBC-TEL Ltd.

pp. 336

PDF

Theory

Can Intuition Become Rigorous? Foundations for UML Model Verification Tools (Abstract)

José Luis Fernández Alemán, University of Murcia

Ambrosio Toval Álvarez, University of Murcia

pp. 344

PDF

Formal Limits on Determining Reliabilities of Component-Based Software Systems (Abstract)

Martin Kappes, Avaya Labs

Chandra M.R. Kintala, Avaya Labs

Reinhard P. Klemm, Lucent Technologies, Bell Laboratories

pp. 356

PDF

Software Black Box: An Alternative Mechanism for Failure Analysis (Abstract)

Sebastian Elbaum, University of Nebraska at Lincoln

John C. Munson, Cylant Technology, LLC

pp. 365

PDF

Author Index (PDF)

pp. 377