The Community for Technology Leaders
Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000 (2000)
San Jose, California
Oct. 8, 2000 to Oct. 11, 2000
ISSN: 1071-9458
ISBN: 0-7695-0807-3

Foreword (PDF)

pp. viii
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

Criteria for Testing Polymorphic Relationships (Abstract)

Roger T. Alexander , George Mason University
A. Jefferson Offutt , George Mason University
pp. 15

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

Module Size Distribution and Defect Density (Abstract)

Yashwant K. Malaiya , Colorado State University
Jason Denton , Colorado State University
pp. 62

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

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

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

Analyzing Testability on Data Flow Designs (Abstract)

Yves Le Traon , Universitaire de Beaulieu
Chantal Robach , LCIS-ESISAR
pp. 162

A Software Falsifier (Abstract)

Daniel Brand , IBM T. J. Watson Research Center
pp. 174

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

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

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

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

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

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

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

Pathirage Gamini Wijayarathna , University of Electro-Communications
Mamoru Maekawa , University of Electro-Communications
pp. 283

Risk Bands - A Novel Feature of Safecharts (Abstract)

Nimal Nissanke , South Bank University
Hamdan Z. Dammag , University of Reading
pp. 293
Testing II

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

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

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

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

Martin Kappes , Avaya Labs
Reinhard P. Klemm , Lucent Technologies, Bell Laboratories
pp. 356

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

Author Index (PDF)

pp. 377
87 ms
(Ver 3.3 (11022016))