1. Home
  2. Proceedings
  3. ISSRE
  4. ISSRE 2001
Default Cover Image

Proceedings 12th International Symposium on Software Reliability Engineering

Nov. 27 2001 to Nov. 30 2001

Hong Kong, China

Table of Contents

Proceedings 12th International Symposium on Software Reliability EngineeringFreely available from IEEE.pp. i
ForewordFreely available from IEEE.pp. viii
OrganizersFreely available from IEEE.pp. x
ReviewersFreely available from IEEE.pp. xiii
Session: 1A. Component Based Systems
An Approach to Higher Reliability Using Software ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 2
by Hongxia Jin, P. Santhanam
Session: 1A. Component Based Systems
A Bayesian Approach to Reliability Prediction and Assessment of Component Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 12
by H. Singh, V. Cortellessa, B. Cukic, E. Gunel, V. Bharadwaj
Session: 1A. Component Based Systems
Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 22
by Kateriana Goýeva-Popstojanova, Aditya Mathur P., Kishor Trivedi S.
Session: 1B. Testing GUI Software
Finite-State Testing and Analysis of Graphical User InterfacesFull-text access may be available. Sign in or learn about subscription options.pp. 34
by Fevzi Belli
Session: 1B. Testing GUI Software
Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management SystemFull-text access may be available. Sign in or learn about subscription options.pp. 44
by Deirdre Donovan, Chryssa Dislis, Ray Murphy, Stephen Unger, Christina Kenneally, Janet Young, Liz Sheehan
Session: 1B. Testing GUI Software
User-Based Testing of GUI Sequences and Their InteractionsFull-text access may be available. Sign in or learn about subscription options.pp. 54
by Lee White, Husain Almezen, Nasser Alzeidi
Session 2A. Software Fault Models and Prediction
An Application of Zero-Inflated Poisson Regression for Software Fault PredictionFull-text access may be available. Sign in or learn about subscription options.pp. 66
by Taghi Khoshgoftaar, Kehan Gao, Robert M. Szabo
Session 2A. Software Fault Models and Prediction
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 74
by Alaa Ibrahim, Hanry H. Ammar, Sherif M. Yacoub
Session 2A. Software Fault Models and Prediction
A Fault Model for Subtype Inheritance and PolymorphismFull-text access may be available. Sign in or learn about subscription options.pp. 84
by Jeff Offutt, Roger Alexander, Ye Wu, Quansheng Xiao, Chuck Hutchinson
Session 2B. Reliable Wireless and Mobile Systems
Modeling and Analysis of Using Memory Management Unit to Improve Software ReliabilityFull-text access may be available. Sign in or learn about subscription options.pp. 96
by Shih-Jeh Chang, Prudence T. Zacarias Kapauan
Session 2B. Reliable Wireless and Mobile Systems
Modeling and Verifying Strong Cache Consistency for Mobile Data AccessFull-text access may be available. Sign in or learn about subscription options.pp. 103
by Jun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yu-Lin Feng
Session 2B. Reliable Wireless and Mobile Systems
Recovery Proxy for Wireless ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 112
by Bin Yao, W. Kent Fuchs
Session 3A. Fault Tolerant Distributed Software Systems
Estimation of Software Diversity by Fault Simulation and Failure SearchingFull-text access may be available. Sign in or learn about subscription options.pp. 122
by Luping Chen, John May, Gordon Hughes
Session 3A. Fault Tolerant Distributed Software Systems
Fault Tolerant Distributed Information SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 132
by John C. Knight, Matthew C. Elder
Session 3A. Fault Tolerant Distributed Software Systems
Increasing the Reliability of Three-Tier ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 138
by W. Zhao, L.E. Moser, P.M. Melliar-Smith
Session 3A. Fault Tolerant Distributed Software Systems
Low-Cost Flexible Software Fault Tolerance for Distributed ComputingFull-text access may be available. Sign in or learn about subscription options.pp. 148
by Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau
Session 3B. Software Reliability Growth Modeling
A Simulation Based Trainer for Software Reliability ModelingFull-text access may be available. Sign in or learn about subscription options.pp. 160
by Edward L. Jones, Aubrey J. Rembert
Session 3B. Software Reliability Growth Modeling
Analysis of Hypergeometric Distribution Software Reliability ModelFull-text access may be available. Sign in or learn about subscription options.pp. 166
by T. Dohi, N. Wakana, S. Osaki, K. Trivedi
Session 3B. Software Reliability Growth Modeling
Discrete Equations and Software Reliability Growth ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 176
by Daisuke Satoh, Shigeru Yamada
Session 3B. Software Reliability Growth Modeling
Modelling the Fault Correction ProcessFull-text access may be available. Sign in or learn about subscription options.pp. 185
by Norman F. Schneidewind
Session 4A. Testing Internet and Multimedia Systems
An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEPFull-text access may be available. Sign in or learn about subscription options.pp. 192
by Byoungju Choi, Sunhwa Yeum, Taehee Gwak, Byoungkyu Min
Session 4A. Testing Internet and Multimedia Systems
Generating Test Cases for XML-Based Web Component Interactions Using Mutation AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 200
by Suet Chun Lee Lee, Jeff Offutt
Session 4A. Testing Internet and Multimedia Systems
Toward Generic Timing Tests for Distributed Multimedia Software SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 210
by Shing chi Cheung, Samuel T. Chanson, Zhendong Xu
Session 4B. Formal Approaches
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way CommunicationFull-text access may be available. Sign in or learn about subscription options.pp. 222
by Jun Zhou, Kou-chung Tai
Session 4B. Formal Approaches
Feedback Control of the Software Test Process Through Measurements of Software ReliabilityFull-text access may be available. Sign in or learn about subscription options.pp. 232
by Joao W. Cangussu, Aditya P. Mathur, Raymond A. DeCarlo
Session 4B. Formal Approaches
Tool Support for Production Use of Formal TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 242
by John C. Knight, Kimberly S. Hanks, Sean R. Travis
Session 5A. Software Testing Experiments
An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 254
by Philippe Chevalley, Pascale Thévenod-Fosse
Session 5A. Software Testing Experiments
Evaluating the Software Test Strategy for the 2000 Sydney OlympicsFull-text access may be available. Sign in or learn about subscription options.pp. 264
by Kathryn Bassin, Shrinram Biyani, P. Santhanam
Session 5B. Coverage and Testing Strategies
Coverage Analysis for Message FlowsFull-text access may be available. Sign in or learn about subscription options.pp. 276
by Netta Aizenbud-Reshef
Session 5B. Coverage and Testing Strategies
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency CyclesFull-text access may be available. Sign in or learn about subscription options.pp. 287
by Lionel C. Briand, Yvan Labiche, Yihong Wang
Session 6A. Software Architecture
Automated and Portable Native Code IsolationFull-text access may be available. Sign in or learn about subscription options.pp. 298
by Grzegorz Czajkowsk, Laurent Daynès, Mario Wolczko
Session 6A. Software Architecture
Deriving Tests From Software ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 308
by Zhenyi Jin, Jeff Offutt
Session 6A. Software Architecture
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 314
by Farokh Bastani, I.-Ling Yen, Kim Sung, John Linn, Kashi Rao
Session 6A. Software Architecture
Towards a 'Safe' Use of Design Patterns to Improve OO Software TestabilityFull-text access may be available. Sign in or learn about subscription options.pp. 324
by Benoit Baudry, Yves Le Sunyé, Jean-Marc Jézéquel
Session 6B. Measurement Field Data and Experience
Accounting for Realities When Estimating the Field Failure Rate of SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 332
by Daniel R. Jeske, Xuemei Zhang, Loan Pham
Session 6B. Measurement Field Data and Experience
Defect content estimation for two reviewersFull-text access may be available. Sign in or learn about subscription options.pp. 340-345
by C. Wohlin, H. Petersson, M. Host, P. Runeson
Session 6B. Measurement Field Data and Experience
Measurement-Based Availability of Unix Systems in a Distributed EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 346
by Cristina Simache Simache, Mohamed Kaâniche
Session 6B. Measurement Field Data and Experience
Quantitative Evaluation and Operative Usage of Interactive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 356
by A. Pasquini, A. Rizzo, L. Save, M. Sujan
Session 6B. Measurement Field Data and Experience
Author IndexFull-text access may be available. Sign in or learn about subscription options.pp. 362
Showing 43 out of 43