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
Session: 1A. Component Based Systems
- 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
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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team