Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th 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
Keynote
- Mike Prowse:
Discard the Bathtub Model for the Shower Model.
Panel
- John D. Musa:
Everything You Wanted to Know About Software Reliability Engineering but Didn't Know Who to Ask.
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 - Roger T. Alexander, A. Jefferson Offutt:
Criteria for Testing Polymorphic Relationships. 15-23 - Saïda Benlarbi, Khaled El Emam, Nishith Goel, Shesh N. Rai:
Thresholds for Object-Oriented Measures. 24-39
Modeling
- Tadashi Dohi, Shunji Osaki, Kishor S. Trivedi:
Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications. 40-51 - Daniel R. Jeske, M. Akber Qureshi:
Estimating the Failure Rate of Evolving Software Systems. 52-61 - Yashwant K. Malaiya, Jason Denton:
Module Size Distribution and Defect Density. 62-71 - Chin-Yu Huang, Sy-Yen Kuo, Jung-Hua Lo, Michael R. Lyu:
Quantitative Software Reliability Modeling from Testing to Operation. 72-83
Testing I
- Chien-Hung Liu, David Chenho Kung, Pei Hsia, Chih-Tung Hsu:
Structural Testing of Web Applications. 84-96 - Brian J. Taylor, Bojan Cukic:
Evaluation of Regressive Methods for Automated Generation of Test Trajectories. 97-109 - Lee J. White, Husain Almezen:
Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences. 110-123
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 - 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 - Ann Marie Neufelder:
How to Measure the Impact of Specific Development Practices on Fielded Defect Density. 148-161
Testability
- Yves Le Traon, Farid Ouabdesselam, Chantal Robach:
Analyzing Testability on Data Flow Designs. 162-173 - Daniel Brand:
A Software Falsifier. 174-185 - Anneliese von Mayrhauser, Michael Scheetz, Eric Dahlman, Adele E. Howe:
Planner Based Error Recovery Testing. 186-197
Risk Assessment
- Taghi M. Khoshgoftaar, Ruqun Shan, Edward B. Allen:
Improving Tree-Based Models of Software Quality with Principal Components Analysis. 198-209 - Sherif M. Yacoub, Hany H. Ammar, Tom Robinson:
A Methodology for Architectural-Level Risk Assessment Using Dynamic Metrics. 210-221 - Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell:
Testing Nondeterminate Systems. 222-233
Measures
- Norman F. Schneidewind:
On the Repeatability of Metric Models and Metrics across Software Builds. 234-245 - Ming Li, Carol S. Smidts, R. W. Brill:
Ranking Software Engineering Measures Related to Reliability Using Expert Opinion. 246-258 - Taghi M. Khoshgoftaar, Vishal Thaker, Edward B. Allen:
Modeling Fault-Prone Modules of Subsystems. 259-269
Safety
- David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan:
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. 270-282 - Pathirage Gamini Wijayarathna, Mamoru Maekawa:
Extending Fault Trees with an AND-THEN Gate. 283-292 - Nimal Nissanke, Hamdan Dammag:
Risk Bands - A Novel Feature of Safecharts. 293-303
Testing II
- Amit M. Paradkar:
SALT - An Integrated Environment to Automate Generation of Function Tests for APIs. 304-316 - Anders Wesslén, Per Runeson, Björn Regnell:
Assessing the Sensitivity to Usage Profile Changes in Test Planning. 317-326 - Sam K. S. Sze, Michael R. Lyu:
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications. 327-335 - Miroslav Popovic, Vladimir Kovacevic, M. Skrbic:
Software Reliability and Maintenance Concept Used for Automatic Call Distributor MEDIO ACD. 336-343
Theory
- José Luis Fernández Alemán, José Ambrosio Toval Álvarez:
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools. 344-355 - Martin Kappes, Chandra M. R. Kintala, Reinhard Klemm:
Formal Limits on Determining Reliabilities of Component-Based Software Systems. 356-364 - Sebastian G. Elbaum, John C. Munson:
Software Black Box: An Alternative Mechanism for Failure Analysis. 365-376
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
