The Community for Technology Leaders
Asia-Pacific Conference on Quality Software (2000)
Hong Kong, China
Oct. 30, 2000 to Oct. 31, 2000
ISBN: 0-7695-0825-1
TABLE OF CONTENTS

Reviewers (PDF)

pp. xiii
Keynote Address I
Session 1A: Web-Based Systems

Object-Based Data Flow Testing of Web Applications (Abstract)

Pei Hsia , University of Texas at Arlington
Chih-Tung Hsu , Sun Microsystems, Inc.
Chien-Hung Liu , University of Texas at Arlington
David C. Kung , University of Texas at Arlington
pp. 7

Object Driven Performance Testing in Web Applications (Abstract)

S.V. Subrahmanya , Infosys Technologies Limited
B.M. Subraya , Infosys Technologies Limited
pp. 17
Session 1B: Distributed, Concurrent, and Real-Time Systems

Control of Nondeterminism in Testing Distributed Multithreaded Programs (Abstract)

X. Cai , University of Windsor
J. Chen , University of Windsor
pp. 29

An Approach to Analyzing Dependency of Concurrent Programs (Abstract)

Jianping Zhang , Utah State University
Hongji Yang , De Montfort University
Baowen Xu , Southeast University
Kecheng Liu , Staffordshire University
Zhenqiang Chen , Southeast University
pp. 39

Modeling and Verification of a Network Player System with DCValid (Abstract)

Ma Huadong , Beijing University of Posts and Telecommunications
Xu Qiwen , United Nations University
Wang Jianzhong , United Nations University
pp. 44
Session 2A: Metrics and Models

A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems (Abstract)

Claudia Pons , Universidad Nacional de La Plata
Máximo Prieto , Universidad Nacional de La Plata
Luis Olsina , UNLPam
pp. 53

Software Quality Prediction Using Mixture Models with EM Algorithm (Abstract)

Ping Guo , Chinese University of Hong Kong
Michael R. Lyu , Chinese University of Hong Kong
pp. 69
Session 2B: Software Testing I

On the Determination of an Appropriate Time for Ending the Software Testing Process (Abstract)

N. Malevris , Athens University of Economics and Business
E. Petrova , Elitherm S.A.
pp. 81

Testing of Large Number Multiplication Functions in Cryptographic Systems (Abstract)

T.Y. Chen , Swinburne University of Technology
T.H. Tse , University of Hong Kong
Zhiquan Zhou , University of Hong Kong
pp. 89

An Approach to Modify and Test Expired Window Logic (Abstract)

Raymond Paul , Department of Defense
George Devaraj , University of Minnesota
W.T. Tsai , Arizona State University and University of Minnesota
Vishal Agarwal , University of Minnesota
Xiaoying Bai , Arizona State University
pp. 99
Session 3A: Object-Oriented Models and Design

An Object-Oriented Web Test Model for Testing Web Applications (Abstract)

David C. Kung , University of Texas at Arlington
Pei Hsia , University of Texas at Arlington
Chien-Hung Liu , University of Texas at Arlington
pp. 111

Object Oriented Design Function Points (Abstract)

D. Janaki Ram , Indian Institute of Technology at Madras
S.V.G.K. Raju , Indian Institute of Technology at Madras
pp. 121

Quality Metrics of Object Oriented Design for Software Development and Re-Development (Abstract)

S. Zhou , De Montfort University
H. Yang , De Montfort University
K. Liu , Staffordshire University
pp. 127
Session 3B: Software Testing II

On the Completeness of Test Cases for Atomic Arithmetic Expressions (Abstract)

T.H. Tse , University of Hong Kong
T.Y. Chen , Swinburne University of Technology
X. Feng , University of Hong Kong
pp. 149

Testing for Imperfect Integration of Legacy Software Components (Abstract)

David Flater , National Institute of Standards and Technology
pp. 156
Keynote Address II
Session 4A: Software Quality Assurance

How to Teach Practical Software Quality Assurance: An Experience Report (Abstract)

J. Barrie Thompson , University of Sunderland
Helen M Edwards , University of Sunderland
pp. 181

The 9 Quadrant Model for Code Reviews (Abstract)

Saswata Dutta , Tata Consultancy Services
Arunava Chandra , Tata Consultancy Services
Ravi Prakash Nandivada , Tata Consultancy Services
Gargi Keeni , Tata Consultancy Services
pp. 188
Session 4B: Formal Methods

Formal Modeling of Interactive Systems (Abstract)

Doug Goldson , Massey University
pp. 207

Refinement and Modular Verification with Observers (Abstract)

G. Michele Pinna , Universit? di Siena
Agathe Merceron , University of Sydney
pp. 216

TDL: A Language for Transition Diagrams in the Derivation of LOTOS Specifications (Abstract)

Alan Dix , Staffordshire University
Yong Sun , Queen's University of Belfast
Hongji Yang , De Montfort University
pp. 226
Session 5A: Industrial Experience

Quality Improvement - The Six Sigma Way (Abstract)

Mala Murugappan , Tata Consultancy Services
Gargi Keeni , Tata Consultancy Services
pp. 248
Session 5B: Test Case Generation

White on Black: A White-Box-Oriented Approach for Selecting Black-Box-Generated Test Cases (Abstract)

S.F. Tang , Hong Kong Polytechnic University
T.Y. Chen , Swinburne University of Technology
P.L. Poon , Hong Kong Polytechnic University
Y.T. Yu , City University of Hong Kong
pp. 275

Towards a More Efficient Way of Generating Test Cases: Class Graphs (Abstract)

Karl R.P.H. Leung , Hong Kong Institute of Vocational Education
Wai Wong , Hong Kong Baptist University
pp. 285
Session 6A: Prototyping

A Model and Prototype Tool to Manage Software Risks (Abstract)

Khairuddin Hashim , Virtual University
Ayad Ali Keshlaf , Software Engineering Research Laboratory
pp. 297

Abductive Approach to Prototyping Data Flow Diagrams (Abstract)

Erik T.H. Fung , City University of Hong Kong
pp. 306
Session 6B: Electronic Commerce

E-Business Testing: User Perceptions and Performance Issues (Abstract)

Rainer Pirker , IBM Global Services
Andreas Rudolf , IBM Global Services
pp. 315

A Reference Infrastructure for Electronic Commerce (Abstract)

Weihong Li , Nanyang Technological University
Yu Li , Nanyang Technological University
Hee Beng Kuan Tan , Nanyang Technological University
pp. 324

Author Index (PDF)

pp. 335
89 ms
(Ver )