ISSRE2001::The 12th International Symposium on Software Reliability Engineering

Program: November 29 Conference Day

Keynote

Time	Nov 29
09:00 - 09:30	Registration
09:30 - 10:15	Keynote 3
10:15 - 10:30	Short Break
10:30 - 12:00	Tracks 1/2/3
12:00 - 13:00	Lunch
13:00 - 13:45	Keynote 4
13:45 - 14:00	Short Break
14:00 - 17:30	Tracks 1/2/3
...	...
20:00 - 22:00	Banquet

November 29, Track 1

Time	November 29, Track 1
10:30 -12:00	1A. Component-Based Systems Session Chair: Xuemei Zhang, Bell Laboratories, USA zhang4@lucent.com An Approach to Higher Reliability Using Software Components Hongxia Jin and Peter Santhanam IBM T.J. Watson Research Center, Yorktown Heights, New York, USA jin@us.ibm.com A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems H. Singh, V. Cortellessa, B. Cukic, E. Gunel, and V. Bharadwaj West Virginia University, Morgantown, West Virginia, USA cukic@csee.wvu.edu Comparison of Architecture-Based Software Reliability Models Katerina Go�eva-Popstojanova West Virginia University, Morgantown, West Virginia, USA Aditya P. Mathur Purdue University, West Lafayette, Indiana, USA Kishor S. Trivedi Duke University, Durham, North Carolina, USA katerina@ee.duke.edu
12:00 - 13:00	Lunch
13:00 - 13:45	Keynote 4
13:45 - 14:00	Short Break
14:00 - 15:30	2A. Software Fault Models and Prediction Session Chair: Norm Schneidewind, Naval Postgraduate School, USA nschneid@nps.navy.mil An Application of Zero-Inflated Poisson Regression for Software Fault Prediction Taghi M. Khoshgoftaar and Kehan Gao Florida Atlantic University, Boca Raton, Florida, USA Robert M. Szabo IBM Corporation, Fort Lauderdale, Florida, USA taghi@cse.fau.edu A Fault Model for Fault Injection Analysis of UML Dynamic Specifications Alaa Ibrahim and Hany H. Ammar West Virginia University, Morgantown, West Virginia, USA Sherif M. Yacoub Hewlett-Packard Laboratories, Palo Alto, California, USA hammar@wvu.edu A Fault Model for Subtype Inheritance and Polymorphism Jeff Offutt George Mason University, Fairfax, Virginia, USA Roger Alexander Colorado State University, Fort Collins, Colorado, USA Ye Wu, Quansheng Xiao, and Chuck Hutchinson George Mason University, Fairfax, Virginia, USA ofut@ise.gmu.edu
15:30 - 16:00	Break
16:00 - 17:50	3A. Fault Tolerant Distributed Software Systems Session Chair: Kishor S. Trivedi, Duke University, USA kst@ee.duke.edu Estimation of Software Diversity by Fault Simulation and Failure Searching Luping Chen, John May, and Gordon Hughes University of Bristol, Bristol, England, United Kingdom chen@cs.bris.ac.uk Fault Tolerant Distributed Information Systems John C. Knight and Matthew C. Elder University of Virginia, Charlottesville, Virginia, USA knight@cs.virginia.edu Increasing the Reliability of Three-Tier Applications W. Zhao, L.E. Moser, and P.M. Melliar-Smith University of California at Santa Barbara, Santa Barbara, California, USA wenbing@alpha.ece.ucsb.edu Low-Cost Flexible Software Fault Tolerance for Distributed Computing Ann Tai and Kam S. Tso IA Tech, Inc., Los Angeles, California, USA William H. Sanders University of Illinois at Urbana-Champaign, Urbana, Illinois, USA Leo Alkalai and Savio N. Chau Jet Propulsion Laboratory, Pasadena, California, USA a.t.tai@ieee.org

November 29, Track 2

Time	November 29, Track 2
10:30 -12:00	1B. Testing GUI Software Session Chair: : Ann Tai, IA Tech, Inc., USA a.t.tai@ieee.org Finite-State Testing of Graphical User Interfaces Fevzi Belli University of Paderborn, Germany belli@upb.de Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System Deirdre Donovan, Chryssa Dislis, Ray Murphy, Stephen Unger, Christina Kenneally, Janet Young, and Liz Sheehan Motorola Ireland Ltd., Cork, Ireland diedre.donovan@motorola.com User-Based Testing of GUI Sequences and Their Interactions Lee White, Husain Almezen, and Nasser Alzeidi Case Western Reserve University, Cleveland, Ohio, USA leew@eecs.cwru.edu
12:00 - 13:00	Lunch
13:00 - 13:45	Keynote 4
13:45 - 14:00	Short Break
14:00 - 15:30	2B. Reliable Wireless and Mobile Systems Session Chair: Aad van Moorsel, HP Laboratories, USA aad@hpl.hp.com Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability Shih-Jeh Chang and Prudence T. Zacarias Kapauan Lucent Technologies, Naperville, Illinois, USA ptzk@lucent.com Modeling and Verifying Strong Cache Consistency for Mobile Data Access Jun Wei Hong Kong University of Science and Technology, Hong Kong, China Institute of Software, Chinese Academy of Sciences, Beijing, China Huan Zhou Institute of Software, Chinese Academy of Sciences, Beijing, China Shing Chi Cheung and Xu Wang Hong Kong University of Science and Technology, Hong Kong, China wjun@cs.ust.hk Recovery Proxy for Wireless Applications Bin Yao and W. Kent Fuchs Purdue University, West Lafayette, Indiana, USA pufuchs@purdue.edu
15:30 - 16:00	Break
16:00 - 17:15	3B. Software Reliability Growth Models Session Chair: Min Xie, National University of Singapore, Singapore mxie@nus.edu.sg Analysis of Hypergeometric Distribution Software Reliability Model T. Dohi, N. Wakana, and S. Osaki Hiroshima University, Higashi-Hiroshima, Japan Kishor S. Trivedi Duke University, Durham, North Carolina, USA dohi@gal.sys.hiroshima-u.ac.jp Discrete Equations and Software Reliability Growth Models Daisuke Satoh NTT Service Integration Laboratories, Japan Shigeru Yamada Tottori University, Japan satoh.daisuke@lab.ntt.co.jp Modeling the Fault Correction Process Norman F. Schneidewind Naval Postgraduate School, Pebble Beach, California, USA nschneid@nps.navy.mil

November 29, Track 3

Time	November 29, Track 3
10:30 - 12:00	Fast Abstacts Session 2: FT Techniques FT Techniquies Testing Programs Computing Numerical Function Feodor Vainstein, Georgia Institute of Technology, USA On the Design of Consistent Executable Assertions for Distributed Software Arshad Jhumka Martin Hiller Vilgot Claesson Neeraj Suri Chalmers University, Sweden Extended Classification of Software Faults Based on Aging Kalyanaraman Vaidyanathan Kishor Trivedi Duke University, USA Detection of Errors Using Aspect-Oriented State Consistency Checks James Thai Barry Pekilis Alexander Lau Rudolph Seviora University of Waterloo, Canada On Design Issue of LAN Topology Using a Dual Path Ethernet Module IlSeok Han HagBae Kim Yonsei University, Korea Development of a Scalable Clustering Streaming Server for the Internet Personal-Live Broadcasting Sangmoon Lee Sinjun Kang Byungseok Min HagBae Kim Yonsei University, Korea Benchmarking A Look at Benchmarking the Dependability of SW & OS's Andr�as Johansson Robert Lindstr�m Neeraj Suri Chalmers University, Sweden
12:00 - 13:00	Lunch
13:00 - 13:45	Keynote 4
13:45 - 14:00	Short Break
14:00 - 15:30	Panel 3 Is There a "Complete" Testing to Replace Program Proof? Fevzi Belli, University of Paderborn, Germany Jianong Cao, Polytechnic University of Hong Kong, Hong Kong Yvan Labiche, Carleton University, Canada Jean-Claude Laprie, LAAS, Toulouse, France Joachim Wegener, Daimler-Chrysler, Germany
15:30 - 16:00	Break
16:00 - 17:30	Student Poster Session This session is for award presentation to Student Travel Grant Award winners, and for the students to meet their industrial sponsors.