12. 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 BibTeX

Session: 1A. Component Based Systems

Hongxia Jin, Peter Santhanam:
An Approach to Higher Reliability Using Software Components. 2-11
Electronic Edition (link) BibTeX
Harshinder Singh, Vittorio Cortellessa, Bojan Cukic, Erdogan Gunel, Vijayanand Bharadwaj:
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems. 12-21
Electronic Edition (link) BibTeX
Katerina Goseva-Popstojanova, Aditya P. Mathur, Kishor S. Trivedi:
Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models. 22-33
Electronic Edition (link) BibTeX

Session: 1B. Testing GUI Software

Fevzi Belli:
Finite-State Testing and Analysis of Graphical User Interfaces. 34-43
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Lee J. White, Husain Almezen, Nasser Alzeidi:
User-Based Testing of GUI Sequences and Their Interactions. 54-65
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Alaa Ibrahim, Hany H. Ammar, Sherif M. Yacoub:
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications. 74-83
Electronic Edition (link) BibTeX
Jeff Offutt, Roger T. Alexander, Ye Wu, Quansheng Xiao, Chuck Hutchinson:
A Fault Model for Subtype Inheritance and Polymorphism. 84-95
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
Bin Yao, W. Kent Fuchs:
Recovery Proxy for Wireless Applications. 112-121
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
John C. Knight, Matthew C. Elder:
Fault Tolerant Distributed Information Systems. 132-137
Electronic Edition (link) BibTeX
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Increasing the Reliability of Three-Tier Applications. 138-147
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX

Session 3B. Software Reliability Growth Modeling

Edward L. Jones, Aubrey J. Rembert:
A Simulation Based Trainer for Software Reliability Modeling. 160-165
Electronic Edition (link) BibTeX
Tadashi Dohi, Nobuyuki Wakana, Shunji Osaki, Kishor S. Trivedi:
Analysis of Hypergeometric Distribution Software Reliability Model. 166-175
Electronic Edition (link) BibTeX
Daisuke Satoh, Shigeru Yamada:
Discrete Equations and Software Reliability Growth Models. 176-184
Electronic Edition (link) BibTeX
Norman F. Schneidewind:
Modelling the Fault Correction Process. 185-191
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Suet Chun Lee, Jeff Offutt:
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis. 200-209
Electronic Edition (link) BibTeX
Shing-Chi Cheung, Samuel T. Chanson, Zhendong Xu:
Toward Generic Timing Tests for Distributed Multimedia Software Systems. 210-221
Electronic Edition (link) BibTeX

Session 4B. Formal Approaches

Jun Zhou, Kuo-Chung Tai:
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication. 222-231
Electronic Edition (link) BibTeX
João W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo:
Feedback Control of the Software Test Process Through Measurements of Software Reliability. 232-241
Electronic Edition (link) BibTeX
John C. Knight, Kimberly S. Hanks, Sean R. Travis:
Tool Support for Production Use of Formal Techniques. 242-253
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Kathryn Bassin, Shriram Biyani, Padmanabhan Santhanam:
Evaluating the Software Test Strategy for the 2000 Sydney Olympics. 264-275
Electronic Edition (link) BibTeX

Session 5B. Coverage and Testing Strategies

Neta Aizenbud-Reshef:
Coverage Analysis for Message Flows. 276-286
Electronic Edition (link) BibTeX
Lionel C. Briand, Yvan Labiche, Yihong Wang:
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles. 287-297
Electronic Edition (link) BibTeX

Session 6A. Software Architecture

Grzegorz Czajkowski, Laurent Daynès, Mario Wolczko:
Automated and Portable Native Code Isolation. 298-307
Electronic Edition (link) BibTeX
Zhenyi Jin, Jeff Offutt:
Deriving Tests From Software Architectures. 308-313
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX

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
Electronic Edition (link) BibTeX
Håkan Petersson, Claes Wohlin, Per Runeson, Martin Höst:
Defect Content Estimation for Two Reviewers. 340-345
Electronic Edition (link) BibTeX
Cristina Simache, Mohamed Kaâniche:
Measurement-Based Availability of Unix Systems in a Distributed Environment. 346-355
Electronic Edition (link) BibTeX
Alberto Pasquini, Antonio Rizzo, Luca Save, Mark-Alexander Sujan:
Quantitative Evaluation and Operative Usage of Interactive Systems. 356-361
Electronic Edition (link) BibTeX