default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ISSRE 2001: Hong Kong, China
- 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China. IEEE Computer Society 2001, ISBN 0-7695-1306-9
Session: 1A. Component Based Systems
- Hongxia Jin, Peter Santhanam:
An Approach to Higher Reliability Using Software Components. 2-11 - Harshinder Singh, Vittorio Cortellessa, Bojan Cukic, Erdogan Gunel, Vijayanand Bharadwaj:
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems. 12-21 - Katerina Goseva-Popstojanova
, Aditya P. Mathur, Kishor S. Trivedi:
Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models. 22-33
Session: 1B. Testing GUI Software
- Fevzi Belli:
Finite-State Testing and Analysis of Graphical User Interfaces. 34-43 - Deirdre Donovan, Chryssa Dislis, Ray Murphy, Stephen Unger, Christina Kenneally, Janet Young, Liz Sheehan:
Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System. 44-53 - Lee J. White, Husain Almezen, Nasser Alzeidi:
User-Based Testing of GUI Sequences and Their Interactions. 54-65
Session 2A. Software Fault Models and Prediction
- Taghi M. Khoshgoftaar, Kehan Gao, Robert M. Szabo:
An Application of Zero-Inflated Poisson Regression for Software Fault Prediction . 66-73 - Alaa Ibrahim, Hany H. Ammar, Sherif M. Yacoub:
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications. 74-83 - Jeff Offutt, Roger T. Alexander, Ye Wu, Quansheng Xiao, Chuck Hutchinson:
A Fault Model for Subtype Inheritance and Polymorphism. 84-95
Session 2B. Reliable Wireless and Mobile Systems
- Shih-Jeh Chang, Prudence T. Zacarias Kapauan:
Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability. 96-102 - Jun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng:
Modeling and Verifying Strong Cache Consistency for Mobile Data Access . 103-111 - Bin Yao, W. Kent Fuchs:
Recovery Proxy for Wireless Applications. 112-121
Session 3A. Fault Tolerant Distributed Software Systems
- Luping Chen, John H. R. May, Gordon Hughes:
Estimation of Software Diversity by Fault Simulation and Failure Searching. 122-131 - John C. Knight, Matthew C. Elder:
Fault Tolerant Distributed Information Systems. 132-137 - Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Increasing the Reliability of Three-Tier Applications. 138-147 - Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau:
Low-Cost Flexible Software Fault Tolerance for Distributed Computing. 148-159
Session 3B. Software Reliability Growth Modeling
- Edward L. Jones, Aubrey J. Rembert:
A Simulation Based Trainer for Software Reliability Modeling. 160-165 - Tadashi Dohi, Nobuyuki Wakana, Shunji Osaki, Kishor S. Trivedi:
Analysis of Hypergeometric Distribution Software Reliability Model. 166-175 - Daisuke Satoh, Shigeru Yamada:
Discrete Equations and Software Reliability Growth Models. 176-184 - Norman F. Schneidewind:
Modelling the Fault Correction Process. 185-191
Session 4A. Testing Internet and Multimedia Systems
- Byoungju Choi, Sunhwa Yeum, Tae-Hee Gwak, Byoungkyu Min:
An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEP. 192-199 - Suet Chun Lee, Jeff Offutt:
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis. 200-209 - Shing-Chi Cheung, Samuel T. Chanson, Zhendong Xu:
Toward Generic Timing Tests for Distributed Multimedia Software Systems. 210-221
Session 4B. Formal Approaches
- Jun Zhou, Kuo-Chung Tai:
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication. 222-231 - João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo:
Feedback Control of the Software Test Process Through Measurements of Software Reliability. 232-241 - John C. Knight, Kimberly S. Hanks, Sean R. Travis:
Tool Support for Production Use of Formal Techniques. 242-253
Session 5A. Software Testing Experiments
- Philippe Chevalley, Pascale Thévenod-Fosse:
An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study. 254-263 - Kathryn Bassin, Shriram Biyani, Padmanabhan Santhanam:
Evaluating the Software Test Strategy for the 2000 Sydney Olympics. 264-275
Session 5B. Coverage and Testing Strategies
- Neta Aizenbud-Reshef:
Coverage Analysis for Message Flows. 276-286 - Lionel C. Briand, Yvan Labiche, Yihong Wang:
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles. 287-297
Session 6A. Software Architecture
- Grzegorz Czajkowski, Laurent Daynès, Mario Wolczko:
Automated and Portable Native Code Isolation. 298-307 - Zhenyi Jin, Jeff Offutt:
Deriving Tests From Software Architectures. 308-313 - Farokh B. Bastani, I-Ling Yen, Sung Kim, John Linn, Kashi Rao:
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs. 314-323 - Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel:
Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability. 324-331
Session 6B. Measurement Field Data and Experience
- Daniel R. Jeske, Xuemei Zhang, Loan Pham:
Accounting for Realities When Estimating the Field Failure Rate of Software. 332-339 - Håkan Petersson, Claes Wohlin, Per Runeson, Martin Höst:
Defect Content Estimation for Two Reviewers. 340-345 - Cristina Simache, Mohamed Kaâniche:
Measurement-Based Availability of Unix Systems in a Distributed Environment. 346-355 - Alberto Pasquini, Antonio Rizzo, Luca Save, Mark-Alexander Sujan:
Quantitative Evaluation and Operative Usage of Interactive Systems. 356-361
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-11-04 20:31 CET 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:
