11. ISSRE 2000: San Jose, CA, USA

11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA. IEEE Computer Society 2000, ISBN 0-7695-0807-3 BibTeX

Keynote

Mike Prowse: Discard the Bathtub Model for the Shower Model. BibTeX

Panel

John D. Musa: Everything You Wanted to Know About Software Reliability Engineering but Didn't Know Who to Ask. BibTeX

OO Methods

Benoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon:
Building Trust into OO Components Using a Genetic Analogy. 4-14
Electronic Edition (link) BibTeX
Roger T. Alexander, A. Jefferson Offutt:
Criteria for Testing Polymorphic Relationships. 15-23
Electronic Edition (link) BibTeX
Saïda Benlarbi, Khaled El Emam, Nishith Goel, Shesh N. Rai:
Thresholds for Object-Oriented Measures. 24-39
Electronic Edition (link) BibTeX

Modeling

Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi:
Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications. 40-51
Electronic Edition (link) BibTeX
Daniel R. Jeske, M. Akber Qureshi:
Estimating the Failure Rate of Evolving Software Systems. 52-61
Electronic Edition (link) BibTeX
Yashwant K. Malaiya, Jason Denton:
Module Size Distribution and Defect Density. 62-71
Electronic Edition (link) BibTeX
Chin-Yu Huang, Sy-Yen Kuo, Jung-Hua Lo, Michael R. Lyu:
Quantitative Software Reliability Modeling from Testing to Operation. 72-83
Electronic Edition (link) BibTeX

Testing I

Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu:
Structural Testing of Web Applications. 84-96
Electronic Edition (link) BibTeX
Brian J. Taylor, Bojan Cukic:
Evaluation of Regressive Methods for Automated Generation of Test Trajectories. 97-109
Electronic Edition (link) BibTeX
Lee J. White, Husain Almezen:
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences. 110-123
Electronic Edition (link) BibTeX

Quantitative Methods

Lionel C. Briand, Bernd G. Freimut, Ferdinand Vollei:
Assessing the Cost-Effectiveness of Inspections by Combining Project Data and Expert Opinion. 124-135
Electronic Edition (link) BibTeX
D. Boyd, D. Cura, Willa K. Ehrlich, R. Gotberg, Rema Hariharan, Paul Reeser:
Contributing to the Bottom Line: Optimizing Reliability-Cost-Schedule Tradeoff and Architecture Scalability through Test Technology. 136-147
Electronic Edition (link) BibTeX
Ann Marie Neufelder:
How to Measure the Impact of Specific Development Practices on Fielded Defect Density. 148-161
Electronic Edition (link) BibTeX

Testability

Yves Le Traon, Farid Ouabdesselam, Chantal Robach:
Analyzing Testability on Data Flow Designs. 162-173
Electronic Edition (link) BibTeX
Daniel Brand:
A Software Falsifier. 174-185
Electronic Edition (link) BibTeX
Anneliese von Mayrhauser, Michael Scheetz, Eric Dahlman, Adele E. Howe:
Planner Based Error Recovery Testing. 186-197
Electronic Edition (link) BibTeX

Risk Assessment

Taghi M. Khoshgoftaar, Ruqun Shan, Edward B. Allen:
Improving Tree-Based Models of Software Quality with Principal Components Analysis. 198-209
Electronic Edition (link) BibTeX
Sherif M. Yacoub, Hany H. Ammar, Tom Robinson:
A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics. 210-221
Electronic Edition (link) BibTeX
Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell:
Testing Nondeterminate Systems. 222-233
Electronic Edition (link) BibTeX

Measures

Norman F. Schneidewind:
On the Repeatability of Metric Models and Metrics across Software Builds. 234-245
Electronic Edition (link) BibTeX
Ming Li, Carol Smidts, R. W. Brill:
Ranking Software Engineering Measures Related to Reliability Using Expert Opinion. 246-258
Electronic Edition (link) BibTeX
Taghi M. Khoshgoftaar, Vishal Thaker, Edward B. Allen:
Modeling Fault-Prone Modules of Subsystems. 259-269
Electronic Edition (link) BibTeX

Safety

David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan:
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. 270-282
Electronic Edition (link) BibTeX
Pathirage Gamini Wijayarathna, Mamoru Maekawa:
Extending Fault Trees with an AND-THEN Gate. 283-292
Electronic Edition (link) BibTeX
Nimal Nissanke, Hamdan Dammag:
Risk Bands - A Novel Feature of Safecharts. 293-303
Electronic Edition (link) BibTeX

Testing II

Amit M. Paradkar:
SALT - An Integrated Environment to Automate Generation of Function Tests for APIs. 304-316
Electronic Edition (link) BibTeX
Anders Wesslén, Per Runeson, Björn Regnell:
Assessing the Sensitivity to Usage Profile Changes in Test Planning. 317-326
Electronic Edition (link) BibTeX
Sam K. S. Sze, Michael R. Lyu:
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications. 327-335
Electronic Edition (link) BibTeX
Miroslav Popovic, Vladimir Kovacevic, M. Skrbic:
Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD. 336-343
Electronic Edition (link) BibTeX

Theory

José Luis Fernández Alemán, José Ambrosio Toval Álvarez:
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools. 344-355
Electronic Edition (link) BibTeX
Martin Kappes, Chandra M. R. Kintala, Reinhard Klemm:
Formal Limits on Determining Reliabilities of Component-Based Software Systems. 356-364
Electronic Edition (link) BibTeX
Sebastian G. Elbaum, John C. Munson:
Software Black Box: An Alternative Mechanism for Failure Analysis. 365-376
Electronic Edition (link) BibTeX