Message from the General Chair

Message from the Program Co-Chairs

Conference Committees

Reviewers

Keynote Address I

Director of Information Technology Services, Government of the Hong Kong Special Administrative Region, China

K.H. Lau

Session 1A: Web-Based Systems

Object-Based Data Flow Testing of Web Applications

C.-H. Liu

D.C. Kung

P. Hsia

C.-T. Hsu

Object Driven Performance Testing in Web Applications

B.M. Subraya

S.V. Subrahmanya

Session 1B: Distributed, Concurrent, and Real-Time Systems

Control of Nondeterminism in Testing Distributed Multithreaded Programs

X. Cai

J. Chen

An Approach to Analyzing Dependency of Concurrent Programs

Z. Chen

B. Xu

K. Liu

H. Yang

Jianping Zhang

Modeling and Verification of a Network Player System with DCValid

J. Wang

Q. Xu

H. Ma

Session 2A: Metrics and Models

A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems

C. Pons

L. Olsina

M. Prieto

A Framework for Quantifying Error Proneness in Software

R. Sitte

Software Quality Prediction Using Mixture Models with EM Algorithm

P. Guo

M.R. Lyu

Session 2B: Software Testing I

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

N. Malevris

E. Petrova

Testing of Large Number Multiplication Functions in Cryptographic Systems

T.H. Tse

T.Y. Chen

Z. Zhou

An Approach to Modify and Test Expired Window Logic

W.T. Tsai

X. Bai

R. Paul

G. Devaraj

V. Agarwal

Session 3A: Object-Oriented Models and Design

An Object-Oriented Web Test Model for Testing Web Applications

D.C. Kung

C.-H. Liu

P. Hsia

Object Oriented Design Function Points

D.J. Ram

S.V.G.K. Raju

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

K. Liu

S. Zhou

H. Yang

Session 3B: Software Testing II

BS 7925-2: The Software Component Testing Standard

S.C. Reid

On the Completencess of Test Cases for Atomic Arithmetic Expressions

T.H. Tse

T.Y. Chen

X. Feng

Testing for Imperfect Integration of Legacy Software Components

D. Flater

Keynote Address II

Achieving Quality Software Development for Distributed Environments

S.S. Yau

Session 4A: Software Quality Assurance

How to Teach Practical Software Quality Assurance: An Experience Report

J.B. Thompson

H.M. Edwards

The 9 Quadrant Model for Code Reviews

R.P. Nandivada

S. Dutta

A. Chandra

G. Keeni

Investigating the Effect of a Second Software Inspection Cycle: Cost-Benefit Data from a Large-Scale Experiment on Reinspection of a Software Requirements Document

S. Biffl

M. Halling

M. Kohle

Session 4B: Formal Methods

Formal Modeling of Interactive Systems

D. Goldson

Refinement and Modular Verification with Observers

A. Merceron

G.M. Pinna

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

Y. Sun

H. Yang

A. Dix

Session 5A: Industrial Experience

Software Acquisition Management Experience Learnt in a Multi Discipline and Multi Contract Project Environment

S. Wong

Quality Improvement --- The Six Sigma Way

M. Murugappan

G. Keeni

Software Project Measurement Criteria

I.M. Hampton

B.W.T. Quinn

Session 5B: Test Case Generation

Specification Analysis and Test Data Generation by Solving Boolean Combinations of Numeric Constraints

Jian Zhang

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

T.Y. Chen

P.L. Poon

S.F. Tang

Y.T. Yu

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

K.R.P.H. Leung

W. Wong

Session 6A: Prototyping

A Model and Prototype Tool to Manage Software Risks

A.A. Keshlaf

K. Hashim

Abductive Approach to Prototyping Data Flow Diagrams

E.T.H. Fung

Session 6B: Electronic Commerce

E-Business Testing: User Perceptions and Performance Issues

A. Rudolf

R. Pirker

A Reference Infrastructure for Electronic Commerce

Y. Li

W. Li

H.B.K. Tan

Author Index