| Forword |
| Organizers |
| Reviewers |
| Component Based Systems / Session 1A.： |
| An Approach to Higher Reliability Using Software Components / H. Jin ; P. Santhanam |
| A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems / H. Singh ; V. Cortellessa ; B. Cukic ; E. Gunel ; V. Bharadwaj |
| Comparison of Architecture-Based Software Reliability Models / K. Goseva-Popstojanova ; A. Mathur ; K. Trivedi |
| Testing GUI Software / Session 1B.： |
| Finite-State Testing and Analysis of Graphical User Interfaces / F. Belli |
| Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System / D. Donovan ; C. Dislis ; R. Murphy ; S. Unger ; C. Kenneally ; J. Young ; L. Sheehan |
| User-Based Testing of GUI Sequences and Their Interactions / L. White ; H. Almezen ; N. Alzeidi |
| Software Fault Models and Prediction / Session 2A.： |
| An Application of Zero-Inflated Poisson Regression for Software Fault Prediction / T. Khoshgoftaar ; K. Gao ; R. Szabo |
| A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications / A. Ibrahim ; H. Ammar ; S. Yacoub |
| A Fault Model for Subtype Inheritance and Polymorphism / J. Offutt ; R. Alexander ; Y. Wu ; Q. Xiao ; C. Hutchinson |
| Reliable Wireless and Mobile Systems / Session 2B.： |
| Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability / S.-J. Chang ; P. Kapauan |
| Modeling and Verifying Strong Cache Consistency for Mobile Data Access / J. Wei ; S.-C. Cheung ; H. Zhou ; X. Wang ; J. Li ; Y.-l. Feng |
| Recovery Proxy for Wireless Applications / B. Yao ; W. Fuchs |
| Fault Tolerant Distributed Software Systems / Session 3A.： |
| Estimation of Software Diversity by Fault Simulation and Failure Searching / L. Chen ; J. May ; G. Hughes |
| Fault Tolerant Distributed Information Systems / J. Knight ; M. Elder |
| Increasing the Reliability of Three-Tier Applications / W. Zhao ; L. Moser ; P. Melliar-Smith |
| Low-Cost Flexible Software Fault Tolerance for Distributed Computing / A. Tai ; K. Tso ; W. Sanders ; L. Alkalai ; S. Chau |
| Software Reliability Growth Modeling / Session 3B.： |
| A Simulation Based Trainer for Software Reliability Modeling / E. Jones ; A. Rembert |
| Analysis of Hypergeometric Distribution Software Reliability Model / T. Dohi ; N. Wakana ; S. Osaki |
| Discrete Equations and Software Reliability Growth Models / D. Satoh ; S. Yamada |
| Modelling the Fault Correction Process / N. Schneidewind |
| Testing Internet and Multimedia Systems / Session 4A.： |
| An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEP / B. Choi ; S. Yeum ; T. Gwak ; B. Min |
| Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis / S. Lee |
| Toward Generic Timing Tests for Distributed Multimedia Software Systems / S. Cheung ; S. Chanson ; Z. Xu |
| Formal Approaches / Session 4B.： |
| Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication / J. Zhou ; K.-c. Tai |
| Feedback Control of the Software Test Process Through Measurements of Software Reliability / J. Cangussu ; R. DeCarlo |
| Tool Support for Production Use of Formal Techniques / K. Hanks ; S. Travis |
| Software Testing Experiments / Session 5A.： |
| An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study / P. Chevalley ; P. Thevenod-Fosse |
| Evaluating the Software Test Strategy for the 2000 Sydney Olympics / K. Bassin ; S. Biyani |
| Coverage and Testing Strategies / Session 5B.： |
| Coverage Analysis for Message Flows / N. Aizenbud-Reshef |
| Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles / L. Briand ; Y. Labiche ; Y. Wang |
| Software Architecture / Session 6A.： |
| Automated and Portable Native Code Isolation / G. Czajkowski ; L. Daynes ; M. Wolczko |
| Deriving Tests From Software Architectures / Z. Jin |
| Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs / F. Bastani ; I.-L. Yen ; K. Sung ; J. Linn ; K. Rao |
| Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability / B. Baudry ; Y. Sunye ; J.-M. Jezequel |
| Measurement Field Data and Experience / Session 6B.： |
| Accounting for Realities When Estimating the Field Failure Rate of Software / D. Jeske ; X. Zhang ; L. Pham |
| Defect Content Estimation for Two Reviewers / C. Wohlin ; H. Petersson ; M. Host ; P. Runeson |
| Measurement-Based Availability of Unix Systems in a Distributed Environment / C. Simache ; M. Kaaniche |
| Quantitative Evaluation and Operative Usage of Interactive Systems / A. Pasquini ; A. Rizzo ; L. Save ; M. Sujan |
| Author Index |
| Forword |
| Organizers |
| Reviewers |
| Component Based Systems / Session 1A.： |
| An Approach to Higher Reliability Using Software Components / H. Jin ; P. Santhanam |
| A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems / H. Singh ; V. Cortellessa ; B. Cukic ; E. Gunel ; V. Bharadwaj |
