| 2000 | 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 8-11 October 2000, San Jose, CA, USA |
| 2000 | A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics. Sherif M. Yacoub, Hany H. Ammar, Tom Robinson |
| 2000 | A Software Falsifier. Daniel Brand |
| 2000 | ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications. Sam K. S. Sze, Michael R. Lyu |
| 2000 | Analyzing Testability on Data Flow Designs. Yves Le Traon, Farid Ouabdesselam, Chantal Robach |
| 2000 | Assessing the Cost-Effectiveness of Inspections by Combining Project Data and Expert Opinion. Lionel C. Briand, Bernd G. Freimut, Ferdinand Vollei |
| 2000 | Assessing the Sensitivity to Usage Profile Changes in Test Planning. Anders Wesslén, Per Runeson, Björn Regnell |
| 2000 | Building Trust into OO Components Using a Genetic Analogy. Benoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon |
| 2000 | Can Intuition Become Rigorous? Foundations for UML Model Verification Tools. José Luis Fernández-Alemán, José Ambrosio Toval Álvarez |
| 2000 | Contributing to the Bottom Line: Optimizing Reliability-Cost-Schedule Tradeoff and Architecture Scalability through Test Technology. D. Boyd, D. Cura, Willa K. Ehrlich, R. Gotberg, Rema Hariharan, Paul Reeser |
| 2000 | Criteria for Testing Polymorphic Relationships. Roger T. Alexander, A. Jefferson Offutt |
| 2000 | Discard the Bathtub Model for the Shower Model. Mike Prowse |
| 2000 | Estimating the Failure Rate of Evolving Software Systems. Daniel R. Jeske, M. Akber Qureshi |
| 2000 | Evaluation of Regressive Methods for Automated Generation of Test Trajectories. Brian J. Taylor, Bojan Cukic |
| 2000 | Everything You Wanted to Know About Software Reliability Engineering but Didn't Know Who to Ask. John D. Musa |
| 2000 | Extending Fault Trees with an AND-THEN Gate. Pathirage Gamini Wijayarathna, Mamoru Maekawa |
| 2000 | Formal Limits on Determining Reliabilities of Component-Based Software Systems. Martin Kappes, Chandra M. R. Kintala, Reinhard Klemm |
| 2000 | Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan |
| 2000 | Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences. Lee J. White, Husain Almezen |
| 2000 | Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications. Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi |
| 2000 | How to Measure the Impact of Specific Development Practices on Fielded Defect Density. Ann Marie Neufelder |
| 2000 | Improving Tree-Based Models of Software Quality with Principal Components Analysis. Taghi M. Khoshgoftaar, Ruqun Shan, Edward B. Allen |
| 2000 | Modeling Fault-Prone Modules of Subsystems. Taghi M. Khoshgoftaar, Vishal Thaker, Edward B. Allen |
| 2000 | Module Size Distribution and Defect Density. Yashwant K. Malaiya, Jason Denton |
| 2000 | On the Repeatability of Metric Models and Metrics across Software Builds. Norman F. Schneidewind |
| 2000 | Planner Based Error Recovery Testing. Anneliese von Mayrhauser, Michael Scheetz, Eric Dahlman, Adele E. Howe |
| 2000 | Quantitative Software Reliability Modeling from Testing to Operation. Chin-Yu Huang, Sy-Yen Kuo, Jung-Hua Lo, Michael R. Lyu |
| 2000 | Ranking Software Engineering Measures Related to Reliability Using Expert Opinion. Ming Li, Carol S. Smidts, R. W. Brill |
| 2000 | Risk Bands - A Novel Feature of Safecharts. Nimal Nissanke, Hamdan Dammag |
| 2000 | SALT - An Integrated Environment to Automate Generation of Function Tests for APIs. Amit M. Paradkar |
| 2000 | Software Black Box: An Alternative Mechanism for Failure Analysis. Sebastian G. Elbaum, John C. Munson |
| 2000 | Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD. Miroslav Popovic, Vladimir Kovacevic, M. Skrbic |
| 2000 | Structural Testing of Web Applications. Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu |
| 2000 | Testing Nondeterminate Systems. Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell |
| 2000 | Thresholds for Object-Oriented Measures. Saïda Benlarbi, Khaled El Emam, Nishith Goel, Shesh N. Rai |