12. ISSRE 2001: Hong Kong, China

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